I am a postdoc at the LFCS, University of Edinburgh.
I am interested in formal methods for the verification of computer systems. I have worked on extensions of vector addition systems, for example with data, pushdown stack, alternation or branching. Nowadays, I mostly focus on (stochastic) games played on graphs.
- Logics and Automata
- Infinite-state systems
- Timed automata
- Model checking
- Counter automata
- Petri nets / vector addition systems
- Algorithmic game theory
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 the 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 maintain a healthy appreciation of good whisky. I am overly passionate about free software. I have a ha-index of 80.