I live in Madison, WI, with my wife and our delightful children.

I earned a PhD in computer sciences from the University of Wisconsin in 2008. Before grad school, I studied music, philosophy, and computer science at St. Olaf College in Northfield, MN.

My professional interests include programming languages, broadly construed (type systems, program analysis and verification, managed runtime environments, and declarative programming); systems topics including high-throughput and distributed computing; and models for concurrent programming. I write about topics including these on chapeau, my work-related blog, and welcome current and former colleagues to get in touch with me via my LinkedIn page.