Siddhartha Prasad
PHD Graduate Student
United States
Summary
🤩
Rockstar🎓
Top SchoolSiddhartha Prasad is a PhD student in computer science at Brown University with 11 years of industry and academic experience at the intersection of programming languages, systems, and formal methods. He spent several years at Microsoft contributing to Applied AI and Windows developer platform features—work that combined production engineering (containerizing Cognitive Services) with API and UI framework development. His background blends rigorous theory (type-generic verification work at Inria and formal methods interests) with practical system-building and teaching experience from Tufts. Comfortable in C++, C#, and research-grade tooling, he bridges research and production to make formally grounded ideas deployable.
11 years of coding experience
5 years of employment as a software developer
The Shri Ram SchoolDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Brown UniversityBachelor of Science (B.S.), Mathematics and Computer Science, 3.90, Bachelor of Science (B.S.), Mathematics and Computer Science, 3.90 at Tufts University
English, Hindi, French
Github Skills (39)
minecraft9
mathematical9
formal-methods8
theorem-proving8
logic8
mathematics8
forge8
pyret8
javascript7
azure-app-service7
language-server7
vscode6
uwp-apps6
math6
vscode-extension6
Programming languages (7)
Github contributions (5)
sidprasad/sidprasad.github.io
Jan 2015 - Feb 2025
Contributions:123 pushes in 10 years 3 months
csci1710/forge-language-extension-vscode
Nov 2022 - Apr 2025
Forge language server extension for vscode
Contributions:6 releases, 67 PRs, 204 pushes in 2 years 4 months
minecraftvscodevscode-extensionlanguage-serverforge
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.