Cheriton School of Computer Science

# Prabhakar Ragde

Professor
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

## Contacts by group

- Faculty (134)
  - Lecturers (22)
  - Emeritus (19)
  - Professors (94)
- Cross Appointments (27)
- Adjunct Professors (45)
- Staff (70)
  - Administrative (32)
  - Instructional (11)
  - Technical (24)
    - Infrastructure (5)
    - Research and Special Projects (9)
    - Teaching and Operations (10)
  - Affiliated (3)
- Sessional Lecturers (15)
- Visitors (18)
  - Post Doctoral Fellows (18)