Rajdeep Mukherjee
Senior Applied Scientist at Amazon Web Services (AWS)
San Jose, California, United States
Summary
👤
Senior🎓
Top SchoolRajdeep Mukherjee is a Senior Applied Scientist at AWS with 11 years of experience building production-grade program analysis and formal verification tooling, currently contributing to developer-facing services like CodeWhisperer and CodeGuru. He holds a PhD from the University of Oxford where his dissertation combined abstract interpretation and CDCL SAT solvers for scalable formal verification, and he has a track record of turning that research into engineering at Cadence (C2RTL/JasperGold) and earlier industrial internships. Rajdeep bridges deep formal methods and practical software systems, designing front-, middle-, and back-end infrastructures for equivalence checking and proof decomposition that speed convergence on arithmetic and control‑intensive designs. Based in San Jose, he brings both academic rigor and product-facing delivery to developer tools at cloud scale, with a specialty in automated C-to-RTL analysis that underpins modern verification workflows.
11 years of coding experience
9 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of OxfordIndian Institute of Technology, Kharagpur
English, Bengali, Hindi
Github Skills (29)
modulo10
sublime-text9
solver9
reachability9
checker8
typeshed8
sublime8
pyright7
pycharm7
type-checking6
python-poetry6
autocomplete6
ssa6
python6
tla6
Programming languages (2)
Github contributions (5)
rajdeep87/TACAS17
Jul 2016 - Dec 2016
Contributions:163 pushes, 1 branch in 5 months
rajdeep87/verilog-c
Dec 2017 - Nov 2018
Contributions:5 commits, 50 pushes, 3 branches in 1 year
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.