简介
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 o
数据校验于 9/6/2026数据来源