Research
Research grants
Solving Parity Games in Theory and Practice
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
August 2017 - September 2021
Energy Efficient Control
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
September 2015 - August 2019
ITT for Test Metrics for Artificial Intelligence
DEFENCE SCIENCE & TECHNOLOGY LABORATORY (UK)
May 2018 - March 2020
Parametrised Verification and Control - PaVeCo
EUROPEAN COMMISSION
November 2017 - October 2019
Analysis of Probabilistic Systems
LEVERHULME TRUST (UK)
November 2011 - July 2012
Making Decisions in Time--From Markov Decision Processes to Markov Game Structures
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
October 2010 - November 2013