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.