I have three research areas: (a) semantics and 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 a quantitative extension of equational logic which allows one to carry out approximate reasoning equationally. I have been working on Stone duality for Markov processes and completeness theorems for Markovian logics. I am also interested in duality for automata and using it for minimization. Recently I have begun working on diffusion and similar continuous-time Markov processes . I have not been active in quantum information theory for a while but I have just started working on it again.

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.