I am a research fellow at the LFCS, University of Edinburgh. I am interested in logics for computer science and in particular in infinite-state automata and game models used to design and verify reliable computer systems. I have worked on extensions of vector addition systems / Petri nets, for example with data, pushdown stack, alternation or branching and nowadays mostly focus on (stochastic) games played on graphs.

Keywords: automata and formal languages, counter systems, pushdown automata, concurrency, algorithmic game theory, well-structured transition systems, model checking, equivalence checking, bisimulation, decision procedures.

Selected Publications

A full list ist available here and on dblp .



Short Bio

I spend a year each at the University of Warwick (2015) and LaBRI in Bordeaux (2014), where I had the pleasure of working with Ranko Lazić, Jérôme Leroux and Grégoire Sutre on extended vector addition systems. I did my PhD. at LFCS, the University of Edinburgh, supervised by Colin Stirling and Richard Mayr. Before that, I studied informatics and worked as TA at the universities of Hamburg and Munich and received a diploma (Dipl. Inf.) from the University of Hamburg.


In my spare time I attempt to play the trumpet, enjoy cooking and have a healthy fascination with whisky.

I am overly passionate about free software and have developed several software tools over the years, all of which are accessible through my Github profile. See here for a recent attempt at solving Energy Games. I am the main developer and maintainer of alot, a terminal MUA for the notmuch mail indexer. I also wrote LaTeX beamer themes designed after the websites of the Universities of Edinburgh and Warwick, which I used for some of my talks.

I have a ha-index of 80.

Fun & useful stuff found on the web

Contact Details


gnupg key


Informatics Forum
University of Edinburgh
10 Crichton Street

Office IF.5.37