I’m a software developer from the US. I cofounded Monic, where we work on verifying the correctness of software systems.
I’m also interested in functional programming, programming languages, machine learning, logic, and category theory.