Professor

Location:
DC 2633
Degrees
- Ph.D., University of California, Berkeley, United States (1986)
- B.Math., University of Waterloo (1982)
- Functional programming languages and operational semantics
- Dependent types and their use in proof assistants for verified computations
Link to Personal Website or CV:
Group(s):
Faculty→Professors