Siddhartha Prasad
PhD Candidate
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.
12 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, Bachelor of Science (B.S.) Mathematics and Computer Science at Tufts University
English, Hindi, French
Github Skills (31)
pyret9
forge9
mathematical9
logic9
formal-methods8
compiler8
theorem-proving8
mathematics8
vscode8
javascript7
language-server7
uwp-apps6
math6
cognitive-services6
composition6
Programming languages (7)
Github contributions (5)
sidprasad/copeanddrag
Jul 2024 - Jul 2026
Diagramming by spatial refinement
Contributions:1 release, 17 reviews, 91 PRs in 2 years
brownplt/LTLTutor
May 2024 - Jul 2026
Misconception-based tutor designed to help people learn Linear Temporal Logic.
Contributions:12 reviews, 112 PRs, 287 pushes in 2 years 2 months
intelligent-tutoring-systemlinear-temporal-logiclogicltltutor
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.