About
Prabhakar Ragde is a Professor at the University of Waterloo's Department of Computer Science, located in DC 2633. His academic background includes a Ph.D. from the University of California, Berkeley (1986) and a B.Math from the University of Waterloo (1982). He is affiliated with the Faculty of Mathematics and holds roles in the Professors group.
His research focuses on functional programming languages, operational semantics, and dependent types, with applications in proof assistants for verified computations. Though no specific articles are listed here, his work aligns with theoretical computer science and formal methods.
No scientific awards, grants, or advising details are explicitly mentioned in the provided text. For further details, visit his personal webpage.
Find Prabhakar Ragde elsewhere
Related Searches
You Might Also Like
- TTamer OzsuUniversity of Waterloo · Professor
Carmen BruniUniversity of Waterloo · Associate Professor
Shalev Ben-DavidUniversity of Waterloo · Associate Professor
Arne StorjohannUniversity of Waterloo · Associate Professor
Troy VasigaUniversity of Waterloo · Associate Professor- SSemih SalihogluUniversity of Waterloo · Associate Professor