Prof. Prakash Panangaden
(MSc5/PHY/1975)
Prof. Prakash Panangaden is an internationally renowned computer scientist whose research has made fundamental contributions to theoretical computer science, programming language semantics, logic, probabilistic systems and quantum information. He is currently an Honorary Professor in the School of Informatics at the University of Edinburgh and Professor Emeritus in the School of Computer Science at McGill University. His research interests include probabilistic processes, reinforcement learning, quantitative logics and quantum information theory. Prof. Panangaden graduated with an M.Sc. in Physics from the Indian Institute of Technology, Kanpur, in 1975. He subsequently earned an M.S. in Physics from the University of Chicago in 1978 and a Ph.D. in Physics from the University of Wisconsin-Milwaukee in 1980. He later transitioned into computer science, obtaining an M.S. in Computer Science from the University of Utah in 1985. He began his academic career in physics before moving into computer science, serving at the University of Utah and Cornell University and subsequently joining Queen's University and McGill University. He joined McGill in 1990 and became Professor in 1996, remaining there until his retirement in 2024. From 2018 to 2024, he was also a core member of the Montreal Institute for Learning Algorithms (MILA). Since July 2025, he has served as Honorary Professor at the University of Edinburgh. Prof. Panangaden's research has profoundly influenced the mathematical foundations of probabilistic computation. His work has advanced the theory of Markov processes, bisimulation, behavioural equivalence, metrics, programming language semantics and logics for probabilistic systems. Together with collaborators, he established a landmark connection between the behavioural equivalence of continuous-state processes and their logical properties. His work has also contributed to quantitative extensions of equational logic and methods for reasoning about approximate equality. His intellectual contributions extend beyond probabilistic systems to quantum information theory, concurrent programming semantics, modal logic and category theory. He developed a formal calculus for reasoning about measurement-based quantum computation and has contributed to understanding the relationship between causal structures and the topology of globally hyperbolic spacetimes. His research has also increasingly engaged with machine learning and reinforcement learning, with recent work appearing in ICML 2026 and other leading venues. Prof. Panangaden's contributions have received exceptional international recognition. He was elected Fellow of the Royal Society of Canada in 2013, Fellow of the Association for Computing Machinery in 2020 and Fellow of the Royal Society in 2025. In 2026, he was elected Fellow of the European Association for Theoretical Computer Science. His other honours include the Leo Yaffe Award for Outstanding Undergraduate Teaching, the Principal's Prize for Excellence in Teaching, the Class of 1890 Outstanding Teaching Award and two LICS Test-of-Time Awards for influential research papers. He is the author of Labelled Markov Processes and co-author of Implementing Mathematics with the Nuprl Proof Development System. He has also played an important role in the wider research community through service to organisations including the Natural Sciences and Engineering Research Council of Canada, the U.S. National Science Foundation and other research and evaluation bodies.
Honouring his pioneering contributions to Theoretical Computer Science, Programming Language Semantics, Probabilistic Systems and Quantum Information, and his significant impact on the mathematical foundations of probabilistic computing and machine learning, IIT Kanpur confers upon Prof. Prakash Panangaden the Distinguished Alumni Award 2026 under the category of Academic Excellence.
Achievements and Honors
- Fellow of the European Association for Theoretical Computer Science in 2026
- Distinguished Alumni Award 2026
- Fellow of the Royal Society in 2025
- Fellow of the Association for Computing Machinery (ACM) 2020
- Principal's Prize for Excellence in Teaching, 2016
- Fellow of the Royal Society of Canada 2013
- Test of Time Award 2022: one of two most significant papers from LICS 2002
- Test of Time Award 2017: one of two most significant papers from LICS 1997
- Leo Yaffe Award for Outstanding Undergraduate Teaching, Faculty of Science, McGill University, 1999