Michael M. Vitousek



last updated March 2018
Hi, I'm a PhD candidate at Indiana University Bloomington (formerly University of Colorado Boulder) where I'm studying programming languages (advised by Jeremy Siek). I'm planning on defending my dissertation, Gradual Typing for Python, Unguarded in August 2018. I studied computer science and history at Willamette University as an undergrad, and I've since worked at Adobe and Mozilla. The bulk of my research has focused on gradual typing, though my interests encompass other aspects of type system and language design as well.

Publications and Workshop Appearances


Work in Progress, Reports, and Other Work

© 2018, Michael M. Vitousek.