Research Research Interests Algorithmic Game Theory, Verification, Computational Complexity Research grants Solving Parity Games in Theory and Practice ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL August 2017 - September 2021