I’m a computer scientist broadly interested in systems, security and programming languages. I currently work as a software research engineer at Galois.
I graduated with my masters in Computer Science from the University Utah, where I was advised by Vivek Srikumar. 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 try 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!
😟 → 🤖 → 😎
This is a Jekyll website based on the theme by Camille Diez.