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.

What I write about here

This site collects writing on the topics I keep coming back to

• Browser extensions: they're the most powerful vehicle for permissionless innovation and malleable software
• Engineering practice: how to marry process and tools to create value
• Rationality and reasoning: the interplay between human knowledge and AI systems

If you're new here, Start Here is the curated entry point.

Background

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.