Prabhakar Ragde

Prabhakar Ragde

Professor Emeritus
Contact Information
Location: DC 2633
Groups
Emeritus
Links
Link to personal webpage: https://cs.uwaterloo.ca/~plragde/
Additional Information

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