Patrick Totzke

I am a postdoc at the LFCS, University of Edinburgh.

Research Interests

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.


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 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.