Expert Overview

I am interested in the design of functional programming languages, type systems, and program verification.

Things I'm Doing
 
Talks I've Given

Talks I've Given