Sonal Mahajan
Staff Researcher at Uber
San Francisco Bay Area United States
Summary
🤩
Rockstar🎓
Top SchoolSonal Mahajan is a Staff Researcher based in the San Francisco Bay Area with a decade of research and development experience at the intersection of program analysis and AI, currently advancing code quality and developer productivity at Uber. She has a strong track record of inventing automated program repair and AutoML techniques, filing seven patents (two granted) and authoring 14 papers with multiple best-paper awards and a Distinguished Achievement Award. Sonal combines deep technical rigor from her Ph.D.-level background with practical product impact—her work learns from real-world sources like Stack Overflow to fix Java crashes and synthesize ML pipelines from human solutions. Known for clear communication and mentorship, she regularly peer-reviews for top conferences and has guided interns and cross-functional teams to translate research into deployed tooling. An under-the-radar strength is her ability to blend program analysis with AI to produce reproducible, developer-facing systems rather than purely theoretical contributions.
3 years of coding experience
6 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at University of Southern California
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (12)
go10
static-analysis10
nullability8
java8
android7
static-code-analysis7
devtools6
code-review6
ai5
openai3
anthropic3
ollama3
Programming languages (3)
Github contributions (3)
uber-go/nilaway
Jul 2023 - Mar 2026
Static analysis tool to detect potential nil panics in Go code
Contributions:267 reviews, 121 PRs, 367 pushes in 2 years 8 months
gostatic-analysisnilabilitynilability-analysisnil-pointer
uber/NullAway
Apr 2026 - Apr 2026
A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead
Contributions:1 review in 1 day
javastatic-analysisandroidnullabilitynullability-analysis
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.