I study programming languages, in theory and practice. I like to build tools that support other developers to ship reliable software, and reason about their code.
Previously, I worked on the Languages and Runtimes team at and did gradual typing research at targetting Mypy.
This is where you’ll find most of the things I do and the tiny logs I write.
You can find me on twttr, linkedin, github or send me an email (first last at gmail dot com).