Skip to main content

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