Hello World

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

I’m currently working on the Credit team at Marqeta. I’m enjoying thinking about the realities of building complex software systems at scale.

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

Before that 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.

I like to make things. When I’m not making software, I like to make things in oil, clay, wood, watercolor, colored pencil, digital media, paper, letterpress, silk-screen, metal 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.