Prakash Panangaden

Prakash Panangaden

Former Member

See Also:

• Home page

Interests

I am a visiting academic on sabbatical leave from McGill University.  I am primarily associated with the Quantum Group at the Department of Computer Science but also have interests in concurrency, security, verification, especially the verification of probabilistic systems and modal logic.  My permanent web page is at McGill University.  My publications and other information are available there.  

Activities

• Quantum Group