Prakash Panangaden
American-Canadian computer scientist
>
Prakash Panangaden is an American/Canadian computer scientist noted for
his research in programming language theory, concurrency theory, Markov processes and duality theory.
Earlier he worked on quantum field theory in curved space-time and... Wikipedia
Place of birth: Pune, India
Books: Labelled Markov Processes
Academic advisor: Leonard Parker
Education: University of Wisconsin-Milwaukee (1980), The University of Chicago, The University of Utah, and more
Award: Fellow of the Royal Society of Canada (2013)
Affiliation: McGill University
Research interests: Semantics, Probabilistic Systems, Verification, and more