Hello!

I’m building Theorem to work on the oversight problem in massively scaling up software deployment.

Previously, I developed Fiat Cryptography which enables tens of trillions of secure connections to the internet every day (the big prime numbers behind the https lock icon). Over the course of the project, I reported the plurality of all-time bugs in the proof-assistant Rocq and joined the dev team to help fix them. Proof assistants are systematically slow when you apply them to real world problems, and I got my PhD for making them a bit faster.

I live in the Bay Area, and I like to sail. Reach out if you want to chat, or do water sports!