I have three research areas: (a) semantics and logics for probabilistic systems and languages (b) machine learning and (c) quantum information theory. I work on approximation of continuous-state systems and associated metrics and logics. I am working on a quantitative extension of equational logic which allows one to carry out approximate reasoning equationally. I have been working on Stone duality for Markov processes and completeness theorems for Markovian logics. I am also interested in duality for automata and using it for minimization. Recently I have begun working on diffusion and similar continuous-time Markov processes . I have not been active in quantum information theory for a year but I hope to return to it soon.

I organized a workshop at Bellairs on Higher-order probabilistic computation.
My co-authors, Richard Blute, Josee Desharnais, Abbas Edalat and I won the 2017 Test-of-Time Award from LICS for our 1997 paper on bisimulation for labelled Markov processes.
The editorial boards on which I serve are accessible through Links above.

Recent Talks

IRIF January 2018 Lectures: 1, 2, 3, 4.
Lectures on quantitative equational reasoning: 1,2, 3.
Semantics for physicists.
A Logical Characterization of Bisimulation
Berkeley Logic Colloquium, 2nd Dec 2016.
More Talks

Recent Conferences and Workshops

CSL 2020 PC member
AAAI 2020 reviewer
MFPS 2019 PC Member
LICS 2019 PC Member
ICML 2019 reviewer
UAI 2019 reviewer

> More Conferences



E-mail: prakash@cs.mcgill.ca
Office: McConnell ENGG North Wing 105
Office Phone: +1 514 3987074,FAX: 3983883
My postal address is here; do not use my office number.

My Fall schedule is here.
Please check my Google cal link below for any departues from my regular schedule.

Photos My Google calendar  

Publications conferences and workshopsTalks Students Teaching RL Lab Links curricullum