Prakash Panangaden
McGill

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.