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.

Helle Hvid Hansen and I are organizing a workshop on Coalgebras in Quantum Physics at Bellairs in March 2015. Joel Ouaknine is also organizing a parallel workshop on Infinite-state systems.
The editorial boards on which I serve are accessible through Links above.

Recent Talks

Duality tutorial at Oxford, May 2014: Stone, Gelfand,
and Pontryagin.
Invited talk at VMCAI, Jan 2014
Invited talk at LICS, June 2013.
Talk at Benasque, Spain, June 2013.
Talk given at the Symposium to Honour Glynn Winskel.
More Talks

Recent Conferences and Workshops

ICALP 2015 PC Member
CSR 2015 PC Member
ICTAC 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.
Teaching : COMP 598 Tuesdays, Thursdays 1:00 - 2:30 McConnell 320.
Office Hours: Mondays 11-12.
My Winter 2015 schedule is now on a weekly basis.
Please check my Google cal link below for weekly updates.

Photos My Google calendar  

Publications conferences and workshopsTalks Students Teaching RL Lab Links curricullum