
Prakash
Panangaden


Email:
prakash AT cs DOT mcgill DOT ca
Home Page:
http://www.cs.mcgill.ca/~prakash/
Office:
MC105N
Phone:
+15143987074
Fax:
+15143983883
Address:




Research Description

My main research areas are (1) Reasoning about probabilistic systems, (2) Applications of probabilistic systems to planning and learning, (3) fundamental structures in quantum computation, (4) information theory and security, (5) spacetime structure and (6) quantum information in curved spacetime. In topic (1) I have worked with Josee Desharnais, Alexandre BouchardCote, Vincent Danos, Abbas Edalat, Vineet Gupta, Radha Jagadeesan and Francois Laviolette. The main thrust has been extending the traditional theory of probabilistic process algebras to situations where the state space is continuous. A theory of bisimulation, including a new logical characterization theorem for bismulation has been developed; in addition there is now a metric approach and an approximation theory. Results on continuous time systems have also been obtained. In topic (2) in joint work with Doina Precup and Norm Ferns metrics have been developed for MDPs, both finite and infinite state. Current work includes a duality theory for POMDPs, this is with Doina Precup, Joelle Pineau Monica Dinculescu. In joint work with Doina Precup, Joelle Pineau, Dorna kashefHaghighi and Kamal al Marhoobi we are looking at learning automata from data. In topic (3), in joint work with Danos and Kashefi, an algebra of the new oneway model has been developed. A closely related formalism for distributed computing has been developed with Ellie D'Hondt. I am now interested in anyonic computation. In topic (4) I have worked with Catuscia Palamidessi and Kostas Chatzikokolakis on anonymity as channel capacity. I am working on games for concurrent processes and epistemic logic them and with Sophia Knight. I am studying concurrent games and epistemic logic with Sophia Knight, Caitlin Phillips and Doina Precup. In (5) Keye Martin and I have analyzed the causal structure of spacetimes in terms of domain theory. We have now shown how geomentric aspects can be incorporated using measurements. In other work Blute and I have studied various categorical structures of interest in physics and computation. Finally in topic (6) in joint work with Kamil Bradler and Patrick Hayden we are looking at the impact of Unruh radiation on private capacity of channels. Please check my personal web page for more up to date information.


Research Interests
Research Labs
Teaching
Selected Publications
(click link in front of each publication to see bibtex in ASCII format)
[1]

Panangaden, P.
Labelled Markov Processes.
Imperial College Press, London, U.K., 2009.

[2]

Chatzikokolakis, K., Palamidessi, C., and Panangaden, P.
Anonymity protocols as noisy channels.
Information and Computation, February 2008, v. 206, n. 24,
pp. 378401.

[3]

Taylor, J., Precup, D., and Panangaden, P.
In Proceedings of NIPS 2008, 2008, pp. 16491656.

[4]

Danos, V., Kashefi, E., and Panangaden, P.
The measurement calculus.
Journal of the ACM, April 2007, v. 54, n. 2.

[5]

D'Hondt, E., and Panangaden, P.
The computational power of the W and GHZ states.
Quantum Information and Computation, 2006, v. 6, n. 2,
pp. 173183.

[6]

Ferns, N., Castro, P., Precup, D., and Panangaden, P.
Methods for computing state similarity in Markov decision
processes.
In Proceedings on the Conference on Uncertainty in AI (UAI),
July 2006.

[7]

Hundt, C., Panangaden, P., Pineau, J., and Precup, D.
Representing systems with hidden state.
In TwentyFirst National Conference on Artificial Intelligence
(AAAI 2006), 2006.



Last Update: 2013/08/05 08:22:22.350 GMT4
