Prabhakar Ragde

Prabhakar Ragde
prabhakar.ragde@uwaterloo.ca
Location: 
DC 2633
Degrees
  • Ph.D., University of California, Berkeley, United States (1986)
  • B.Math., University of Waterloo (1982)
Research interests
  • Functional programming languages and operational semantics
  • Dependent types and their use in proof assistants for verified computations
Publications

Prabhakar Ragde on DBLP

Link to Personal Website or CV: 
https://cs.uwaterloo.ca/~plragde/
Group(s): 
Faculty→Professors