Aditi Kabra
Artificial Intelligence Researcher at The D. E. Shaw Group
San Francisco Bay Area United States
Summary
👤
Senior🎓
Top SchoolAditi Kabra is a fourth-year Ph.D. student and doctoral research assistant at Carnegie Mellon University specializing in synthesis and verification of cyber-physical systems, with a focus on scaling verified controller design and increasing automation. With nine years of industry and research experience, she has shipped full-stack features at Microsoft Azure Reserved Instances and contributed to research in high-energy particle physics, programming languages, and quantum computing during her time at Cornell. Her multidisciplinary background—dual undergraduate degrees in mathematics, physics, and computer science—enables her to bridge formal methods, systems engineering, and practical software development. Based in Pittsburgh, she combines rigorous academic inquiry with production engineering experience, bringing a rare blend of theorem-driven thinking to real-world cloud and control problems.
9 years of coding experience
9 years of employment as a software developer
High School, PCM, High School, PCM at Lilavatibai Podar High SchoolBachelor’s Degree, Mathematics and Computer Science, Bachelor’s Degree, Mathematics and Computer Science at Cornell UniversityDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Carnegie Mellon University
English, Hindi, Marathi
Github Skills (53)
command-line-interface10
swagger10
rest10
azure10
azure-sdk9
mathematica9
dotnet9
tactics9
python9
azure-cli9
science9
openapi9
rest-api9
powershell9
arm9
Programming languages (13)
Github contributions (5)
aditink/algebraic_simplification_cesar
Dec 2023 - Sep 2024
Contributions:12 reviews, 7 PRs, 23 pushes in 8 months
aditink/blog
Dec 2019 - Dec 2022
Blog
Contributions:1 PR, 15 pushes, 1 branch in 2 years 11 months
jekyll
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.