I am a PhD student in Computer Science at Brown University, advised by Shriram Krishnamurthi. My research takes a programming-languages approach to improving how people express intent and reason about program behavior, drawing on ideas from formal methods, human–computer interaction, and cognitive science. I am especially interested in how models of human cognition can inform the design of languages, semantics, and interactive tools for understanding complex computational structures.

Previously, I was a software engineer at Microsoft, where I worked both on Windows¹ and Azure². 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.