I am retiring at the end of August 2024. I will not take any new students,
post-docs or interns from now on.
I was selected as the 2021 Milner
Lecturer at the University of Edinburgh. The slides are here.
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.
My co-authors
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.
The editorial
boards on which I serve are accessible
through Links above.
