Research Overview
I work at the intersection of maths and computer science and specialise on the foundations of formal verification. My interests include

- Algorithmic game theory, especially strategy complexity, games and MDPs on countably infinite graphs
- Decidability and complexity of verification problems such as (bi)simulation and language inclusion; model checking and synthesis
- Counter automata, vector addition systems / Petri nets and process algebras
- Computational logics with fixed-points, temporal or probabilistic modalities and associated games
- Real-time systems: timed automata and languages, timed Petri nets and timed games.