Steen Vester



Profile Picture

I am a Ph.d. student in the AlgoLoG section at the Technical University of Denmark (DTU) with Michael Reichhardt Hansen and Valentin Goranko as supervisors

Research interests

Games, temporal logic, formal verification, model-checking, satisfiability,...

I organize the Games, Logic and Verification Seminar Series at DTU Compute with Valentin Goranko (see website)

Recent talks

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