Stefan Mitsch joined the CDM School of Computing faculty in September of 2023. Before joining DePaul University, Dr. Mitsch was a research faculty member (Senior Systems Scientist) in the Computer Science Department of Carnegie Mellon University. He was awarded a "Promotio sub auspiciis Praesidentis rei publicae" for his PhD in Computer Science at Johannes Kepler University, Linz, Austria.
In research, Dr. Mitsch focuses on modeling, refactoring, and verification techniques and tools for autonomous cyber-physical systems, such as aircraft, autonomous cars, industrial manufacturing systems, robots, 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. Dr. Mitsch is particularly interested in applying programming language theory and software engineering practice to support system design and verification by theorem proving. Previous research also targeted modeling and reasoning approaches all the way from low-level sensor networks to high-level qualitative situation awareness.
Research Area
Formal Methods, Cyber-Physical Systems, Programming Languages
Specific Research Area
Theorem Proving, Runtime Verification, Verified Reinforcement Learning, Formal Verification Tools, Autonomous Systems