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 methods, human factors, and education.
Previously, I was a software engineer at Microsoft, where I worked on the XAML language (2015/2016-2018), and then Azure's AI services (2018-2021). 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.
Ben Greenman, Siddhartha Prasad, Antonio Di Stasio, Shufang Zhu, Giuseppe De Giacomo, Shriram Krishnamurthi, Marco Montali, Tim Nelson, Milda Zizyte
International Symposium on Formal Methods (FM), 2024
Griffin Dietz Smith, Siddhartha Prasad, Matt J Davidson, Leah Findlater, R Benjamin Shapiro
Proceedings of the 23rd Annual ACM Interaction Design and Children Conference (IDC), 2024
Tim Nelson, Ben Greenman, Siddhartha Prasad, Tristan Dyer, Ethan Bove, Qianfan Chen, Charles Cutting, Thomas Del Vecchio, Sidney LeVine, Julianne Rudner, Ben Ryjikov, Alexander Varga, Andrew Wagner, Luke West, Shriram Krishnamurthi
ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications (OOPSLA), 2024
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
Proceedings of the ACM Conference on Global Computing Education (CompEd), 2023
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
The Art, Science, and Engineering of Programming, 2024
Siddhartha Prasad, Ben Greenman, Tim Nelson, John Wrenn, Shriram Krishnamurthi
Koli Calling International Conference on Computing Education Research (Koli Calling), 2022
Mark Hamilton, Nick Gonsalves, Christina Lee, Anand Raman, Brendan Walsh, Siddhartha Prasad, Dalitso Banda, Lucy Zhang, Lei Zhang, William T Freeman
IEEE International Conference on Big Data, 2020