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