I'm a mathematician fascinated by the deep connection between proofs and programs.

In grad school, I worked in reverse mathematics, computability theory, infinitary combinatorics, and forcing. My thesis on coloring posets lives on GitHub, and I've coauthored a few peer-reviewed papers in these areas.

After grad school, I became a software developer and was eventually captivated by functional programming. Rediscovering category theory in Haskell was exhilarating, as was learning about dependent types, which eventually led me to Lean and theorem proving.

I help organize the Charleston Lean & AI meetup.

These days, I'm putting it all together at a stealth startup.