Prakash Panangaden | |
---|---|
Prakash Panangaden
|
|
Born |
Pune, Maharashtra, India |
March 11, 1954
Nationality | American/Canadian |
Alma mater |
IIT Kanpur University of Chicago University of Wisconsin–Milwaukee University of Utah |
Known for | Markov processes, programming languages, concurrency theory and quantum field theory in curved space-time |
Awards | Fellow of the Royal Society of Canada (2013), Leo Yaffe Award for Outstanding Teaching (1999) |
Website | www |
Scientific career | |
Fields | Computer Science, Physics |
Institutions | Cornell University, McGill University |
Doctoral advisor | Leonard Parker |
Doctoral students | Anne Neirynck, Michael I. Schwartzbach, Charles Elkan, Kimberley E. Taylor, James R. Russell, Vasant Shanbhogue, Radhakrishnan Jagadeesan, Carol M. Critchlow, Marija Cubric, Clark Verbrugge, Josée Desharnais, Ellie d'Hondt, Norm Ferns, Yannick Delbecque, Pablo Castro. |
Prakash Panangaden is an American/Canadian Computer Scientist noted for his research in programming languages, concurrency theory, Markov processes and duality theory. Earlier he worked on quantum field theory in curved space-time and radiation from black holes. He is the founding Chair of the ACM Special Interest Group on Logic and Computation (ACM SIGLOG).
Prakash Panangaden was born in Pune, India on March 11, 1954. He received a PhD from the University of Wisconsin–Milwaukee under the supervision of Leonard Parker. His PhD thesis was on renormalization of interacting fields in curved spacetime .
Prakash has successfully graduated 14 students and has in total 36 academic descendants.
He joined the Department of Computer Science at Cornell University in 1985 as an Assistant Professor, where he worked in the Nuprl project and co-authored a book. He moved to McGill University as an associate professor in the School of Computer Science in 1990 and was promoted to professor in 1996
He has been keynote speaker at many conferences, including the two top conferences in the field -- LICS and ICALP .
In 2013 he was elected a FRSC. His citation reads: "Prakash Panangaden's research career has spanned computer science, mathematics and physics. He has worked on programming languages, probabalistic systems, quantum computation and relativity. He is particularly known for deep connections between domain theory and continuous-state Markov processes where he and his colleagues proved a striking logical characterization theorem. He and Keye Martin discovered a remarkable way to reconstruct spacetime topology from causal structure using mathematical ideas from programming languages."