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/
Past Courses
- COMP-525 : Formal Verification, Fall 2014
Past Students
- Gavin McCracken, MSc, 2021,
- Florence Clerc, PhD, 2021,
- Ariella Smofsky, MSc, 2020,
- Vincent Luczkow, MSc, 2020, PhD student at McGill University
- Alika Utepova, MSc, 2020,
- 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
- Caitlin Philips, MSc, 2009, Google Montreal
- Philippe Chaput, MSc, 2009, Lecturer, John Abbott College
- Sophia Knight, MSc, 2009, Assistant Professor, University of Minnesota Duluth
- Norm Ferns, PhD, 2008, Research Scientist, SportLogic
- Jonathan Taylor, MSc, 2008,
- Jacob Eliosoff, MSc, 2003,
- William Renner, MSc, 2002,
- Josée Desharnais, PhD, 1999, Full Professor, University of Laval