Panangaden, P
School of Computer Science
McGill University
Canada
Biography
I have three research areas: (a) semantics and logics for probabilistic systems and languages (b) machine learning and (c) quantum information theory. 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 equationally. 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 diffusion and similar continuous-time Markov processes . I have not been active in quantum information theory for a year but I hope to return to it soon.
Research Interest
semantics and logics for probabilistic systems and languages
Publications
-
Desharnais J, Gupta V, Jagadeesan R, Panangaden P. Metrics for labelled Markov processes. Theoretical computer science. 2004 Jun 8;318(3):323-54.
-
Desharnais J, Edalat A, Panangaden P. Bisimulation for labelled Markov processes. Information and Computation. 2002 Dec 15;179(2):163-93.
-
Chatzikokolakis K, Palamidessi C, Panangaden P. Anonymity protocols as noisy channels. Information and Computation. 2008 Feb 1;206(2-4):378-401.
