Michael Vitousek

I'm interested in programming language design, especially type systems, and the pedagogy of computer science. I'm working on ways to enhance the Python programming language with a gradual type system, which would allow optional, seamless mixing of static types into Python's dynamic type system. I also love to travel, study social and political history, and brew beer.

Feel free to check out some of my research or read my CV.