This website is out of date.

I worked on dynamically checked contracts and refinement types with Benjamin Pierce. I am currently a postdoc at Princeton (up to date website) with Dave Walker.