I'm interested in contracts and type systems for functional and object-oriented programming languages.

My thesis research has focused on extending contract systems like the one in Racket to protect language features like first-class classes, first-class modules, and values with mutable state.

I also did some work with Sam Tobin-Hochstadt in 2008 to add non-uniform variable-arity polymorphism to Typed Racket.

Valid XHTML 1.1 Valid CSS Racket