Prabhakar Ragde
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

Group(s): 
Faculty→Professors