Suvam Mukherjee
Senior Software Engineer at Microsoft
New Jersey, United States
Summary
🤩
Rockstar🎓
Top SchoolSuvam Mukherjee is a Senior Software Engineer and former Microsoft Research postdoc with nine years of experience building verified, fault-tolerant cloud services and developer tooling. He helped design and improve Microsoft P# (Coyote), creating frameworks and ML-enhanced systematic testing that are used across Azure to make microservices performant and resilient by design. His PhD work produced efficient static analyses for multithreaded programs and earned the Radhia Cousot Young Researcher Best Paper Award, reflecting deep expertise in programming languages, formal verification, and model checking. Now driving AI adoption in Microsoft’s AI-Native Dev team, he blends research-grade formal methods with practical engineering to reduce developer toil at scale. An unexpected thread through his career is applying machine learning to strengthen formal testing and verification, bridging two traditionally distinct disciplines.
9 years of coding experience
8 years of employment as a software developer
PhD, Computer Science, PhD, Computer Science at Indian Institute of Science (IISc)High School, High School at St Xavier's Collegiate SchoolBTech, Computer Science, BTech, Computer Science at Institute of Engineering and Management
English, Hindi, Bengali
Github Skills (80)
abstraction10
portable-executable10
security10
code-analysis10
correctness10
state-machine10
elf10
portable10
robotics10
static-analysis10
async10
sarif10
formal-verification10
gleam10
oasis10
Programming languages (6)
Github contributions (5)
suvamM/suvamm.github.io
Jun 2017 - Aug 2022
Contributions:82 pushes, 1 branch in 5 years 2 months
suvamM/psharp-ql
Feb 2020 - Sep 2020
Learning-based controlled concurrency testing in P#.
Contributions:64 commits, 2 PRs, 34 pushes in 7 months
testingmultithreadingconcurrencycontrolled
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.