Research
Research grants
Test Coverage Metrics for AI – v2.0
DEFENCE SCIENCE & TECHNOLOGY LABORATORY (UK)
October 2019 - March 2021
Time-Critical Distributed Software (TiCDSoft)
MINISTRY OF HUMAN RESOURCE DEPARTMENT (INDIA)
July 2019 - July 2021
Lazy Synthesis Techniques
UK RESEARCH AND INNOVATION
September 2024 - September 2026
Correct-by-Construction Reinforcement Learning for Implantable Medical Devices
ROYAL SOCIETY
October 2024 - September 2026
Quantum Synthesis (QuantumSynth)
EUROPEAN COMMISSION
April 2025 - March 2027
Reinforcement Learning for Finite Horizons (ReLeaF)
UK RESEARCH AND INNOVATION
June 2022 - October 2024
SecuriTy SummaRies for SecUre SofTwarE Development (TRUSTED:)
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
September 2023 - August 2026
Below the Branches of Universal Trees
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
March 2023 - August 2024
Valuation Structures for Infinite Duration Games (ValuS)
UK RESEARCH AND INNOVATION
November 2023 - June 2026
Safety Assurance for Autonomous Underwater Vehicle
DEFENCE SCIENCE & TECHNOLOGY LABORATORY (UK)
October 2020 - October 2022
Foundations of Composition
EUROPEAN COMMISSION
April 2020 - March 2022
SyGaST: Synthesising Game Solving Techniques
EUROPEAN COMMISSION
July 2021 - June 2023
Solving Parity Games in Theory and Practice
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL, UK RESEARCH AND INNOVATION
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