Registered user since Fri 29 May 2015
Name: Prakash Panangaden
Bio: Born in Puné, India 1954. Studied at : Calcutta Boys’ School 1965-69, IIT Kanpur 1970-75, U. Chicago 1975-77, U. Wisconsin-Milwaukee 1977-80, U. Utah 1982-84. Assistant Professor Cornell University 1985-89, Associate Professor McGill University 1990-96, Professor McGill University 1996-present. Chair ACM SIGLOG, Fellow of the Royal Society of Canada.
Affiliation: McGill University
Personal website: http://www.cs.mcgill.ca/~prakash/
Research interests: Probabilistic systems, quantum programming languages, automata, minimization, concurrency, category theory, modal logics, semantics.
POPL 2016 Activities
View general profile