Portrait of Prakash Panangaden

Prakash Panangaden

Core Academic Member
prakash.panangaden@mila.quebec
Research Topics
Machine Learning Theory
Probabilistic Models
Quantum Information Theory
Reasoning
Reinforcement Learning
Google Scholar

Biography

Prakash Panangaden studied physics at IIT Kanpur, India. He obtained an MS in physics at the University of Chicago studying stimulated emission from blacks holes. He obtained a PhD in physics from the University of Wisconsin-Milwaukee working on quantum field theory in curved spacetime. He was an assistant professor of computer science at Cornell University where he primarily worked on semantics of concurrent programming languages.

Since 1990 he was a professor at McGill University's School of Computer Science and for the last 25 years he has been working on many aspects of Markov processes: process equivalence, logical characterization, approximation and metrics. Recently he has worked on using metrics to enhance representation learning. He has also published papers in physics, quantum information and pure mathematics. Prakash is a Core Academic Member at Mila - Quebec Institute of Artificial Intelligence. He is a Fellow of the Royal Society of Canada and a Fellow of the Association for Computing Machinery (ACM).

Current Students

Jonathan Colaço Carr
Master's Research - McGill University
Co-supervisor :
Doina Precup

Publications

Singular Value Automata and Approximate Minimization
Borja Balle
Prakash Panangaden
Doina Precup
The present paper uses spectral theory of linear operators to construct approximately minimal realizations of weighted languages. Our new co… (see more)ntributions are: (i) a new algorithm for the SVD decomposition of infinite Hankel matrices based on their representation in terms of weighted automata, (ii) a new canonical form for weighted automata arising from the SVD of its corresponding Hankel matrix and (iii) an algorithm to construct approximate minimizations of given weighted automata by truncating the canonical form. We give bounds on the quality of our approximation.
2019-05-26
Mathematical Structures in Computer Science (published)
doi.org
arxiv.org
Temporally Extended Metrics for Markov Decision Processes.
Philip Amortila
Bellemare Marc-Emmanuel
Prakash Panangaden
Doina Precup
2018-12-31
SafeAI@AAAI (published)
dblp.uni-trier.de
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
Bob. Coecke
Luke Ong
Prakash Panangaden
Samson. Abramsky
2012-12-31
Computation, Logic, Games, and Quantum Foundations (published)
doi.org