Research
Research Interests
Algorithmic Game Theory, Verification, Computational Complexity
Research grants
New Techniques for Resolving Boundary Problems in Total Search
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
January 2023 - December 2025
Solving Parity Games in Theory and Practice
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
August 2017 - September 2021