Siddhartha Prasad

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.