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 - September 2026
Solving Parity Games in Theory and Practice
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
August 2017 - September 2021