I am a PhD student in Computer Science at Brown University, advised by Shriram Krishnamurthi. I’m especially focused on helping people write programs that behave as they intend. This means that my research touches on programming languages, formal methods1, human factors, and education.

Previously, I was a software engineer at Microsoft, where I worked both on Windows2 and Azure3. 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.

I’m primarily working on

Diagramming and Spatiality

Bringing spatial reasoning to diagramming.

Linear Temporal Logic

Understanding, identifying, and addressing Linear Temporal Logic misconceptions.

I’m also contributing to

Forge

A formal methods language for lightweight modeling and analysis.

Examplar

Executable examples for problem understanding.

  1. Not sure what formal methods are? I really like this page. ↩

  2. I worked on the XAML UI Framework from 2016-2018. ↩

  3. I worked on Azure’s AI services, with a particular focus on containerizing AI from 2018-2021. ↩

OSZAR »