Siddhartha Prasad

I am a PhD student in Computer Science at Brown University advised by Shriram Krishnamurthi. I work on formal methods, education, and formal methods as a member of the Brown PLT. My current research focuses on helping 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.

A picture of Siddhartha Prasad