Aditi Kabra
Doctoral Research Assistant at Carnegie Mellon University
Pittsburgh, Pennsylvania, 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.
8 years of coding experience
3 years of employment as a software developer
High School, PCM, 97.75% in ISC Board, High School, PCM, 97.75% in ISC Board at Lilavatibai Podar High SchoolBachelor’s Degree, Mathematics, Physics and Computer Science, Bachelor’s Degree, Mathematics, Physics 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 (67)
python10
command-line-interface10
swagger10
azure-cli10
rest-api10
openapi10
dotnet10
api10
sdk10
rest10
powershell10
azure10
science10
pure-python10
azure-sdk9
Programming languages (14)
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.