Aaditya Naik
Senior Applied Scientist at Oracle
San Francisco Bay Area United States
Summary
👤
Senior🎓
Top SchoolAaditya Naik is a PhD candidate in Computer Science at the University of Pennsylvania with nine years of industry and research experience focused on programming languages, software verification, and machine learning. He has blended academic rigor with applied research through internships at Microsoft and Oracle (GenAI), and earlier machine learning work in industry, demonstrating an ability to bridge theory and production. His trajectory includes leadership in student technical organizations and research roles that emphasize building verifiable, ML-informed systems. Based in Philadelphia, he brings deep domain expertise from his BTech in Computer Engineering and a curiosity for combining formal methods with generative AI approaches.
9 years of coding experience
Bachelor of Technology - BTech Computer Engineering, Bachelor of Technology - BTech Computer Engineering at SVKM's Narsee Monjee Institute of Management Studies (NMIMS)Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at University of Pennsylvania
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (44)
recommendation-engine10
bash10
verification10
weather10
invariants10
youtube-player10
backup10
currency-converter10
encryption10
codeql9
pytorch8
java7
rest7
semantic-analysis7
deep-learning7
Programming languages (12)
Github contributions (5)
aadityanaik/LongNums
Jun 2017 - Dec 2017
Contributions:44 commits, 3 PRs, 33 pushes in 6 months
proof-of-concepthandlingdigitslarge-number
PL-ML/code2inv
Dec 2018 - Jan 2021
Code2Inv: Learning Loop Invariants for Program Verification
Contributions:46 commits, 7 PRs, 23 pushes in 2 years 1 month
invariantsprogram-verificationloopverificationgraph-neural-
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.