About Me

Today

I'm the co-founder and CEO of PixieBrix, the platform for everyone to customize and extend the web apps they use most. I live and work in Boston.

I have a PhD in software engineering and programming languages from the University of Washington , where I worked with Michael Ernst on verification, contract specifications, and pluggable type-checkers. My PhD was supported by an NSF Graduate Research Fellowship, with additional support from a DARPA grant.

I received my BS and MS in Computer Science from Washington University in St. Louis, where I worked with Aaron Stump, Yixin Chen, and Ron Cytron on dependently-typed languages, machine learning, and action planning.

The full publication list is on the Research page.