I have three research areas: (a) logics for probabilistic systems and languages (b) theoretical aspects of machine learning (c) quantum information theory. I work on approximation of continuous-state systems and associated metrics and logics. I am working on equivalences and metrics for diffusion and similar continuous-time Markov processes. I am working on a quantitative extension of equational logic which allows one to carry out approximate reasoning equationally. In machine learning I am actively working on the use of metrics, geometry and symmetry in reinforcement learning. I have worked on Stone duality for Markov processes and completeness theorems for Markovian logics. I also worked on duality for automata and using it for minimization. I have not been active in quantum information theory for a while but I have just started working on it again.

I am organizing a workshop on quantitative reasoning at the Bellairs Research Institute in April-May 2023.

I was selected as the 2021 Milner Lecturer at the University of Edinburgh. The slides are here.

The editorial boards on which I serve are accessible through Links above.