I have three research areas: (a) semantics and logics for probabilistic systems (b) logic and computation and (c) applications to machine learning. 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. 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 approximate minimization. I have not been active in quantum computation for a year but I hope to return to it soon.

Samson Abramsky, Anuj Dawar, Phokion Kolaitis and I organized a thematic semester on Logical Structures in Computation at the Simons Institute for Theoretical Computer Science in Fall 2016.
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 award will be presented at LICS in Reykjavik, this June.
The editorial boards on which I serve are accessible through Links above.

Recent Talks

Characterizing relative entropy..., Braga, 26th May 2017.
Three lectures on quantitative equational reasoning: 1,2, 3.
Semantics for physicists
Simons Institute, 5th Dec 2016.
A Logical Characterization of Bisimulation
Berkeley Logic Colloquium, 2nd Dec 2016.
More Talks

Recent Conferences and Workshops

MFPS 2017 PC Member
MFCS 2017 PC Member
QPL 2017 PC Member
LMW 2017 Invited Speaker
POPL 2016 PC Member

> 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.

I am on sabbatical but will be in Montreal for the Fall.
Check here for my weekly schedule.
I am not available on Wednesdays.
Please check my Google cal link below for updates.

Photos My Google calendar  

Publications conferences and workshopsTalks Students Teaching RL Lab Links curricullum