Sotabase

Career

· Honorary Professor, University of Edinburgh2025–
· Emeritus Professor, McGill University2024–
· Core Academic Member, MILA - Quebec Institute of Artificial Intelligence2018–2024
· Professor, McGill University1996–2024
· Associate Professor, McGill University1990–1996
· Associate Professor, Queen's University1990–1990
· Assistant Professor, Cornell University1985–1989
· Research Assistant, Cornell University1985–1985
· Associate Instructor, University of Utah1983–1983
· MS in Computer Science, University of Utah1982–1985
· Research Assistant, University of Utah1980–1982
· Ph.D. in Physics, University of Wisconsin-Milwaukee1977–1980
· M.S. in Physics, University of Chicago1975–1977
· M.Sc. in Physics, Indian Institute of Technology, Kanpur1970–1975

Publications (534)

Implementing mathematics with the Nuprl proof development system
1986
1,416
cited
The semantic foundations of concurrent constraint programming
ACM-SIGACT Symposium on Principles of Programming Languages · 1991
469
cited
Metrics for labelled Markov processes
Theoretical Computer Science · 2004
356
cited
Bisimulation for labelled Markov processes
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science · 1997
353
cited
Metrics for Finite Markov Decision Processes
AAAI Conference on Artificial Intelligence · 2004
344
cited
Mathematical techniques for analyzing concurrent and probabilistic systems
CRM Monograph Series · 2004
247
cited
Anonymity protocols as noisy channels
Information and Computation · 2006
233
cited
Labelled Markov Processes
2009
233
cited
The measurement calculus
JACM · 2004
220
cited
The metric analogue of weak bisimulation for probabilistic processes
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science · 2002
177
cited
Metrics for Labeled Markov Systems
International Conference on Concurrency Theory · 1999
164
cited
Bisimulation Metrics for Continuous Markov Decision Processes
SIAM journal on computing (Print) · 2011
157
cited
Infinite Objects in Type Theory
Logic in Computer Science · 1986
156
cited
Approximating Markov Processes by Averaging
International Colloquium on Automata, Languages and Programming · 2009
149
cited
Quantum weakest preconditions
Mathematical Structures in Computer Science · 2005
149
cited
A logic for reasoning about security
[1990] Proceedings. The Computer Security Foundations Workshop III · 1990
147
cited
The computational power of the W And GHZ States
Quantum information & computation · 2004
126
cited
A design study of the EARTH multiprocessor
International Conference on Parallel Architectures and Compilation Techniques · 1995
116
cited
A logical characterization of bisimulation for labeled Markov processes
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226) · 1998
113
cited
Scaling behavior of interacting quantum fields in curved spacetime
1982
111
cited
Sotabase