Hey there! I am a theoretical computer scientist by day, based in sunny Liverpool. My research is on mathematical models of computation, with the aim of providing formal correctness proofs for computational systems. I’m interested in all things logics, automata, game theory and computer-aided verification. These days, I mostly focus on timed automata and (stochastic) games played on graphs, where we study the complexity of strategies. A list of my publications is available here and on the dblp.
Before joining Liverpool’s Department of Computer science I did postdocs at the LFCS in Edinburgh (2016-2018) and spend a year each at the University of Warwick (2015) and LaBRI in Bordeaux (2014). I hold a PhD from the University of Edinburgh and a diploma (Dipl. Inf.) from the University of Hamburg where I grew up.
In my spare time I attempt to play the trumpet and maintain a healthy appreciation of good whisky. I am overly passionate about free software. I have a ha-index of 80 and happily support the initiative.
Get my gpg key here.
Department of Computer Science
University of Liverpool
Liverpool, L69 3BX, UK
|Nov 24, 2021||Together with János Flesch and Arkadi Predtetchinski I will host the workshop on Trends in Graph and Stochastic Games in Maastricht next April.|
|Jul 1, 2021||A warm welcome to Sougata Bose who starts his postdoc with me today!|
|May 11, 2021||I’m shortlisted for the 2021 “Teacher of the Year” award in Science and Engineering by the Liverpool Guild of Students. Many thanks for the nomination and congrats to all winners!|
|Apr 1, 2021||Together with Paul Bell I am PC co-chair for Reachability Problems (RP’21).|
|Mar 29, 2021||Excited to host this year’s British Colloquium for Theoretical Computer Science (BCTCS) on March 29–31. Check out our website for details.|
|Mar 3, 2021||Funding success: together with Filip Mazowiecki and Georg Zetzsche (MPI-SWS) we are supported by a Royal Society International Exchanges grant to study Unambiguity in Infinite-state Systems.|
|Feb 18, 2021||I am looking for a postdoc! The position is available for 3 years starting in May 2021 (flexible). Application deadline is 21-03-2021. Details here.|