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.

Curriculum Vitae

School of Computing, DePaul University
243 S. Wabash Avenue, Chicago, IL 60604-2301, USA
office CDM 840

orcid 0000-0002-3194-9759
phone (312) 362-5938