I have three research areas: (a) probabilistic systems (b) concurrency and (c) quantum information theory. I work on approximation of continuous-state systems and associated metrics and logics. I do not work directly in AI myself but I interact closely with some AI researchers and provide some mathematical tools that they might find useful. In concurrency I am interested in security and modal logics for reasoning about information flow. In quantum information theory I work on informatic phenomena in relativistic situations. I am also interested in the one-way model and in topological quantum computing.

I am a part of the Reasoning and Learning Laboratory and interact with the Quantum information group. I am funded in part by NSERC (Canada), by FQRNT (Quebec) and by the Office of Naval Research (USA).

I have recently published a book called Labelled Markov Processes.

E-mail: prakash@cs.mcgill.ca
Office: McConnell ENGG North Wing 105
Office Phone: +1 514 3987074,FAX: +1 514 3983883
Office Hours: MW 12:00 - 1:30.
Teaching: COMP 330 MWF 3:30 - 4:30.
Autumn 2009 schedule.

calendar  
Photos My Google calendar  

Publications conferences and workshopsTalks Students Teaching RL Lab Links curricullum