Atharv Sonwane
PHD Student at Cornell University
United States
Summary
👤
Senior🎓
Top SchoolAtharv Sonwane is a PhD student in Computer Science at Cornell with 11 years of hands-on experience researching and building AI-driven systems across programming languages, robotics, and vision. Previously a Research Fellow on Microsoft's AI4Code team, he helped develop MASAI and CodePlan—systems that combine static analysis and large language models to push state-of-the-art software development agents. His background spans neurosymbolic reasoning, Bayesian program synthesis, GNN-guided task-and-motion planning, and reinforcement learning for aerial robots, reflecting a rare cross-section of PL, AI, and robotics expertise. Comfortable moving between theory and systems, he has repeatedly translated research ideas into practical prototypes during internships and lab roles at top institutions. Based in the U.S. with roots in India and early schooling abroad, he brings a global perspective and curiosity-driven approach to complex, interdisciplinary problems.
11 years of coding experience
1 year of employment as a software developer
BITS Pilani, Birla Institute of Technology and ScienceDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Cornell UniversityLoyola High School & Junior College PuneReading School
English, Marathi, Hindi, French
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (50)
benchmarking10
robot10
lifecycle9
reinforcement-learning9
artificial-intelligence9
robotics9
pytorch9
python9
machine-learning9
campus9
motion-planning9
deep-reinforcement-learning9
ros8
deep-learning8
ai8
Programming languages (6)
Github contributions (5)
threewisemonkeys-as/genrl
May 2020 - Oct 2020
A PyTorch reinforcement learning library for generalizable and reproducible algorithm implementations
Contributions:4 PRs, 80 pushes, 13 branches in 5 months
pytorchimplementationsdeep-learningreinforcement-learningreproducible
adbidwai/QSTP-Robotics_Automation_using_ROS
May 2020 - Jul 2020
Course material for the course QSTP-Robotics Automation using ROS, 2020
Contributions:27 commits, 1 PR, 26 pushes in 2 months
roboticsautomationroscourse-material
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.