I have three research areas: (a) semantics and logics for probabilistic systems (b) logic and computation and (c) 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 and Alexandra Silva are organizing a workshop at Bellairs on Probabilistic Programming Languages.

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.
The editorial boards on which I serve are accessible through Links above.

Recent Talks

A Logical Characterization of Bisimulation
Berkeley Logic Colloquium, 2nd Dec 2016.
Quantum alternation, at the Chinese Academy of Sciences.
Talk at Tsinghua Software Day on 20th April 2015.
Four expository talk on Labelled Markov Processes: One,
Two, Three and Four.
Tutorial on probabilistic semantics at POPL 2015.
More Talks

Recent Conferences and Workshops

POPL 2016 PC Member
LPAR 2015 PC Member
ICALP 2015 PC Member
CSR 2015 PC Member
ICTAC 2015 PC Member
MFCS 2015 PC Member
MFPS 2015 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.

COMP 302 TuThF 9:35-10:25 Leacock 26
COMP 525 TuTh 11:35-12:55 Trottier 2110
COMP 761 F 1-2:30 105N McConnell
My Winter schedule is here.
Please check my Google cal link below for updates.

Photos My Google calendar  

Publications conferences and workshopsTalks Students Teaching RL Lab Links curricullum