Me

My name is Mike Vanier. I teach computer science at Caltech. My interests include functional programming, implementing programming languages (interpreters and compilers), interactive theorem proving, and type theory. I also like cats a lot. My home page is here.