I am a PhD student in Computer Science at Brown University advised by Shriram Krishnamurthi. I work on formal methods, education, and programming languages as a member of Brown PLT. My current research hopes to help programmers better understand the problems they are solving.
Previously, I was a software engineer at Microsoft, where I worked on both Azure Cognitive Services and the XAML UI framework.
I use he/him/his pronouns.