Research
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.
Formal Verification
I am interested in all things logics, automata, game theory and computer-aided verification. Most of my published work is on infinite-state models and includes extensions of vector addition systems with data, pushdown stack, alternation or branching. These days, I mostly focus on timed automata and (stochastic) games played on graphs.
Research grants
Below the Branches of Universal Trees
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
March 2023 - August 2024
Unambiguity in Infinite-state Systems
ROYAL SOCIETY
March 2021 - March 2023
COSTRA: The Cost of Winning Strategies
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
July 2021 - September 2024