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 and of the European Association for
Theoretical Computer Science in 2026.
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.
