I am an incoming PhD student at MIT's Software Design Group, starting in Fall 2025. I am currently a software engineer at Nectry.
I graduated from Columbia University with my bachelor's in computer science and mathematics in December 2023.
Talk to me about programming languages, type theory, collaborative software, human-computer interaction, digital humanities, and the merits of plain text.