I apply modern research in programming languages, static analysis, and software engineering to create practical software development tools. I studied Mathematics and Computer Science at Carnegie Mellon University.