@ PLDI
I am a PhD candidate in Computer Science at Brown University, advised by Shriram Krishnamurthi.
I am a PL/FM researcher interested in how formal representations make computational structure inspectable. Across my work, these representations take different forms: specifications, examples, temporal formulas, relational models, and runtime values. I study how people write them, run them, visualize them, learn from them, and revise them when their intent and the system’s behavior diverge.
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 really excited about 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. ↩