Research areas: probabilistic processes, reinforcement learning, quantitative logics and quantum information theory.

I was elected as a Fellow of the Royal Society in 2025

I was elected as a Fellow of the Royal Society of Canada in 2013 and of the Association of Computing Machinery in 2020.

I was the 2021 Milner Lecturer at the University of Edinburgh and the November 2024 Strachey Lecturer at the University of Oxford. The slides for both talks are below.

My co-authors, Richard Blute, Josee Desharnais, Abbas Edalat and I won the 2017 Test-of-Time Award from LICS for our 1997 paper on bisimulation for Labelled Markov processes.
Josee Desharnais, Vineet Gupta, Radha Jagadeesan and I won the 2022 Test-of-Time award for our 2002 paper, A metric analogue of weak bisimulation.