Stefan Schupp
Formal Verification Engineer
Munich, Bavaria, Germany
Summary
👤
Senior🎓
Top SchoolStefan Schupp is a Formal Verification Engineer with 13 years of research and engineering experience applying formal methods to hybrid and stochastic systems, currently building verification technology at Apple. He developed the C++ HyPro library from scratch during his PhD and has continued tool and algorithm work across RWTH Aachen, WWU Münster, TU Wien and University of Münster, spanning reachability analysis, stochastic hybrid models, and statistical model checking of hyperproperties. His background in SMT solvers and interval constraint propagation informs a pragmatic blend of theory and tool-design, including C/C++/CMake engineering, CI practices, and teaching GPU- and IoT-oriented courses. Stefan has helped organize the ARCH competition subgroup on stochastic hybrid models, reflecting a commitment to community benchmarking and reproducible evaluation. He is especially interested in uncertainty-aware analyses and finding specialized, fine-tuned algorithms for problem sub-classes rather than one-size-fits-all solutions. Based in Munich, he combines deep theoretical sensibilities with hands-on library development and a taste for interdisciplinary collaboration.
13 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Summa Cum Laude, Doctor of Philosophy - PhD, Computer Science, Summa Cum Laude at RWTH Aachen University
German, English, French
Github Skills (4)
hybrid6
controller5
mixer5
synthesis3
Programming languages (1)
Github contributions (4)
ths-rwth/smtrat
Oct 2012 - Aug 2013
Contributions:112 commits in 10 months
morxa/tacos
Apr 2021 - Aug 2022
MTL Controller Synthesis
Contributions:5 reviews, 3 comments in 1 year 4 months
controllersynthesismtlmixercontroller-synthesis
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.