I have three research areas: (a) probabilistic systems (b) logic and computation and (c) quantum information theory. I work on approximation of continuous-state systems and associated metrics and logics. Lately I have been working on Stone duality for Markov processes and completeness theorems for Markovian logics. In logic and computation I am interested in security and modal logics for reasoning about information flow and in incorporating modalities into the programming language. My main recent activity is using Stone-type dualities to minimize automata of various kinds. I am also interested in Tannaka-type theorems for C* algebras. In quantum information theory I work on informatic phenomena in relativistic situations.

Alexandra Silva and I recently organized a workshop on duality theory at Bellairs in March 2014. We also organized a parallel workshop on probabilistic systems.
I have recently published a book called Labelled Markov Processes.
The editorial boards on which I serve are accessible through Links above.
I was recently elected as a Fellow of the Academy of Science of the Royal Society of Canada.

Recent Talks

Invited talk at VMCAI, Jan 2014, San Diego, on
Minimization via duality (photos removed).
Invited talk at LICS, June 2013, New Orleans, on
Duality in Logic and Computation(photos removed).
Talk at Benasque, Spain, on Reconstructing
Spacetime Topology from Causal Structure, June 2013.
Talk given at the Symposium to Honour Glynn Winskel.
Talk on Stone Duality for Markov processes.
More Talks

Recent Conferences and Workshops

MFPS 2013 PC Member
CALCO 2013 PC Member
QPL 2013 PC Member
TbiLLC 2013 PC Member
CONCUR 2013 PC Member
POPL 2013 ERC 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 MWF 10:30 - 11:30.
Office Hours: MW : 11:30 - 1:00
My Winter 2014 schedule is here.
Please check my Google cal link below.

Photos My Google calendar  

Publications conferences and workshopsTalks Students Teaching RL Lab Links curricullum