Prakash Panangaden
Prakash Panangaden is a Core academic member of Mila. Professor at the School of Computer Science at McGill University, he is interested in mathematical foundations of machine learning. He has worked on bisimulation, metrics and approximation for Markov processes. He has also worked on logics for probabilistic systems, Stone duality for Markov processes and programming languages. His recent activity includes a quantitative extension of equational logic and semantics for a stochastic lambda-calculus. In other recent work, he and his collaborators developed a notion of approximate minimization of weighted finite automata and bisimulation for such automata. This has led to current activity in automata learning. Past research activities include quantum information theory, concurrent programming semantics, modal logic and category theory.
- Research Interests: Machine Learning, Quantum Information Theory, Probabilistic Systems
- Personal Website: https://www.cs.mcgill.ca/~prakash/
Students
- Clara Lacroce, PhD
- Joey Bose, PhD
Past Courses
- COMP-525 : Formal Verification, Fall 2014
Past Students
- Rosie Zhao, MSc, 2022, PhD in Computer Science at Harvard University
- Gavin McCracken, MSc, 2021,
- Florence Clerc, PhD, 2021,
- Alika Utepova, MSc, 2020,
- Tyler Kastner, MSc, 2020, PhD student at the University of Toronto
- Ariella Smofsky, MSc, 2020,
- Vincent Luczkow, MSc, 2020, PhD student at McGill University
- Philip Amortila, MSc, 2019, PhD student at University of Illinois
- Nicolas Gagné, MSc, 2018, PhD at Universite de Montreal
- Pascale Gourdeau, MSc, 2017, DPhil student at University of Oxford
- Sophia Knight, MSc, 2009, Assistant Professor, University of Minnesota Duluth
- Philippe Chaput, MSc, 2009, Lecturer, John Abbott College
- Caitlin Philips, MSc, 2009, Google Montreal
- Jonathan Taylor, MSc, 2008,
- Norm Ferns, PhD, 2008, Research Scientist, SportLogic
- Jacob Eliosoff, MSc, 2003,
- William Renner, MSc, 2002,
- Josée Desharnais, PhD, 1999, Full Professor, University of Laval