Alexander Kittelmann
Variability Analyst For Automotive Software at Volkswagen AG
Hanover, Lower Saxony, Germany
Summary
👤
Senior🎓
Top SchoolAlexander Kittelmann is a Variability Analyst for Automotive Software at Volkswagen with 11 years of engineering experience and a PhD in Computer Science focused on formal verification of cyber-physical systems. He combines deep expertise in software verification, variant/configuration management, and theorem-proving with hands-on development skills across C++, Java, Python and web technologies. His academic work produced provably correct software approaches for safety-critical automotive contexts, and he recently led a Quantum Computing subgroup exploring how classical software engineering practices can map to quantum systems. A lifelong learner and former web-agency founder, he excels at translating rigorous research into practical, auditable engineering solutions that scale in industry settings.
11 years of coding experience
Doctor of Philosophy - PhD, Computer Science, Summa Cum Laude, Doctor of Philosophy - PhD, Computer Science, Summa Cum Laude at Technische Universität BraunschweigBachelor of Science - BS, Mathematics and Computer Science, Bachelor of Science - BS, Mathematics and Computer Science at Universität Osnabrück
Github Skills (4)
extensible9
css1
javascript1
react1
Programming languages (1)
Github contributions (5)
AlexanderKnueppel/Skeditor
Apr 2019 - Dec 2021
Contributions:3 reviews, 14 PRs, 21 pushes in 2 years 8 months
TUBS-ISF/Skeditor
Jul 2019 - Mar 2021
Contributions:2 PRs, 6 pushes, 1 branch in 1 year 9 months
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.