Scholar
Stefan Mitsch
Google Scholar ID: KbfRDmEAAAAJ
School of Computing, DePaul University
Citations & Impact
Citations
1,327
H-index
18
i10-index
35
Publications
20
Co-authors
28
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Released KeYmaera X 5.1.2, a theorem prover for specifying and verifying correctness properties of hybrid systems; participated in conferences including NFM'25, NeurIPS'24, and TACAS'24.
Research Experience
- Looking for students who are passionate about the correctness of safety-critical systems to join the PROVE-Lab as a PhD student in 2025-26.
Background
- Associate Professor in the School of Computing at DePaul University. His research focuses on modeling, refactoring, and verification techniques and tools for autonomous cyber-physical systems, such as aircraft, autonomous cars, industrial manufacturing systems, and public infrastructure operations. He complements offline design with code synthesis and runtime verification to provide rigorous guarantees about software execution and the correctness of machine learning components. He is particularly interested in applying software engineering methods to support system design and verification by theorem proving.
Miscellany
- Teaches Concepts of Programming Languages (CSC 347).
