@ PLDI
I am a PhD student in Computer Science at Brown, advised by Shriram Krishnamurthi. I work in programming languages and formal methods, with a focus on the gap between what people mean and what systems do.
My research looks at different ways of briding this gap: using formal techniques to support informal inspection, understanding informal misconceptions of formal models, and elucidating specifications through examples and interaction.
Previously, I was a software engineer at Microsoft, where I worked both on Windows1 and Azure2. My research interests are informed by my time as an engineer. I have written code that doesn’t do what I want it to, and I want to spare everyone else the indignity.
📣 On the job market. I am seeking academic and research positions for 2027–28. Get in touch.
What I'm actively working on right now
Making diagrams as cheap as printf.
Every time you inspect a value — at the REPL, in a debugger, in a print statement — you should have the option of seeing a diagram.
Read the Spytial blog post →
Checking what GenAI wrote, meaningfully.
When an LLM generates a regex for you, how do you know it's the one you actually needed?
Read the regex post →
Or how it generalizes to more languages →
-
I worked on the XAML UI Framework from 2016-2018. ↩
-
I worked on Azure’s AI services, with a particular focus on containerizing AI from 2018-2021. ↩