Earlier he worked on quantum field theory in curved space-time and radiation from black holes.
[5] 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.
[9] In 2017, the Test-of-Time Award Committee consisting of Christel Baier, Amy Felty (chair), Andrew Pitts and Nicole Schweikardt chose the paper Bisimulation for Labelled Markov Processes (by Richard Blute, Josee Desharnais, Abbas Edalat, Prakash Panangaden) as one of two papers from LICS 1997 that has had the most impact in the 20 years since its publication.
[11] His citation reads: "Prakash Panangaden's research career has spanned computer science, mathematics and physics.
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."