I am a mathematician with interests in logic and computer science.

In graduate school I studied reverse mathematics, computability theory, infinitary combinatorics, and forcing. My thesis can be found here. I have coauthored a few peer-reviewed papers in these areas.

After school I sharpened my programming skills and became a software developer. I developed primarily in C++ and Python for several years before becomming entranced by functional programming. Rediscovering category theory in Haskell was exhilarating, as was learning about dependent types.

I currently work for IOHK as a formal methods engineer.