´╗┐ steenvester.com

Steen Vester



Profile Picture

I am a computer science PhD with a taste for logic, algorithms and artificial intelligence. Currently, I spend my time working on developing software for liquid handling robots in the company Flow Robotics A/S where I am a co-owner.

Recent talks

07/07-2016 - Talk on Winning Cores in Parity Games at LICS'16 in New York City, United States

22/10-2015 - Talk on Winning Cores in Parity Games at NWPT'15 in Reykjavik, Iceland

14/10-2015 - Presentation of the paper On the Complexity of Model-checking Branching and Alternating-time Temporal Logics in One-counter systems at ATVA'15 in Shanghai, China

08/10-2015 - Talk on Winning Cores in Parity Games at a seminar in the group of Mads Dam, KTH, Stockholm, Sweden

06/11-2014 - Presentation of Symmetry Reduction in Infinite Games with Finite Branching at ATVA'14 in Sydney, Australia

21/10-2014 - Talk on Alternating-time temporal logic with finite-memory strategies at a meeting of Dansk Selskab for Datalogi at Copenhagen University

23/09-2014 - Talk on Model-checking extensions of ATL/ATL* on One-counter game models at a seminar in the group of Thomas A. Henzinger at IST Austria

23/07-2014 - Talk on Nash Equilibria in Symmetric Games with Partial Observation at a seminar in the group of Holger Hermanns at Saarland University, Saarbr├╝cken

06/04-2014 - Talk on Nash Equilibria in Symmetric Games with Partial Observation at SR'14 in Grenoble

03/03-2014 - Talk on Turn-based Reachability and Safety Games at the Games, Logic and Verification Seminar Series at DTU

01/10-2013 - Talk on Symmetry reduction for games at the second Cassting meeting in Aalborg

31/08-2013 - Presentation of Alternating-time temporal logic with finite-memory strategies at GandALF'13

27/08-2013 - Seminar on Games on graphs, finite-memory strategies and alternating-time temporal logic in the AlgoLoG section at DTU

Teaching

Fall 2014 - Algorithms and Data Structures 2 - DTU course 02110

Spring 2014 - Software Technology Project - DTU course 02122

Spring 2014 - Artificial intelligence and multi-agent systems - DTU course 02285

Fall 2013 - Logic in Computer Science, Artificial Intelligence and Multi-agent systems - DTU course 02286

Fall 2012 - Logic in Computer Science, Artificial Intelligence and Multi-agent systems - DTU course 02286

Fall 2010 - Logical Systems and Logic Programming - DTU course 02156