Research
probabilistic systems, AI, reinforcement learning, game theory, automata theory
Research grants
Below the Branches of Universal Trees
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
March 2023 - August 2024
SecuriTy SummaRies for SecUre SofTwarE Development (TRUSTED:)
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
September 2023 - August 2026
Time-Critical Distributed Software (TiCDSoft)
MINISTRY OF HUMAN RESOURCE DEPARTMENT (INDIA)
July 2019 - July 2021
Bluffing games
ROYAL SOCIETY
September 2020 - September 2023
Energy Efficient Control
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
September 2015 - August 2019
Solving Parity Games in Theory and Practice
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
August 2017 - September 2021
Making Decisions in Time--From Markov Decision Processes to Markov Game Structures
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
October 2010 - November 2013
Trust metrics for SPKI/SDSI
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
December 2010 - November 2012