Hello World

I’m a software engineer broadly interested in systems. In the past I’ve also spent time thinking about security, programming langauges and machine learning.

I’ll be looking for a ✨new job✨ in early 2022. I’m interested in working on a large production system at scale, or a system in the process of scaling up. If you know of teams that might be a good fit, I’d love to hear from you :)

I previously worked as a software engineer at Galois. At Galois I primarily worked on MATE, a program analysis platform for helping developers find security vulnerabilities in their programs.

I spent a few years in the computer science PhD program at the University Utah, where I was advised by Vivek Srikumar, before dropping out with my masters. I designed and implemented SweetPea, a programming language which addresses problems of correctness and replicability of pyschology experiments, in collaboration with Matthew Flatt, Jonathan Cohen, Sebastian Musslick & Ben Draut.

Beyond my life at the keyboard, I work in clay, watercolor, oil, colored pencil, pastel, digital media, letterpress, silk-screen, metal, silver, wood and garlic. I also like to spend a lot of time outside, soaking up sun or getting rained on.

I attended the Recurse Center in Summer 2016, and have nothing but nice things to say about RC. If you’ve been thinking about applying, you should do it!

You can email me at [email protected]

😟 → 🤖 → 😎

This is a Jekyll website based on the theme by Camille Diez.