Siddhartha Prasad

I am a PhD student in Computer Science at Brown University, under the guidance of Professor Shriram Krishnamurthi. My research focuses on formal methods and programming languages, with a particular interest in leveraging formal techniques to help programmers accurately represent their intended program behavior through the code they write.

 
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.