About

I graduated from Swarthmore College in spring 2023, where I studied math and computer science. My interests include software engineering, programming languages and formal verification.

I enjoy all kinds of puzzles, especially programming contests. View my Codeforces and cphof profiles.

About the site

This site is built using the static site generator Pelican. The design is based off the bootlex theme.

Some posts are literate Coq documents that are rendered with help from Alectryon. Refer to this site for how to interact with the Coq fragments.