About 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.