Stefan Mitsch // Associate Professor
I am an Associate Professor in the School of Computing at DePaul University. My 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. I complement offline design with code synthesis and runtime verification to provide rigorous guarantees about software execution and the correctness of machine learning components. I am particularly interested in applying software engineering methods 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.
