Stefan Mitsch (PER-005)
Stefan Mitsch is a faculty member at DePaul University in Jarvis CDM / School of Computing. Documented areas of work include cyber physical systems, formal methods, neural networks, ground robotics, and embedded systems.
Summary ✓
- Primary affiliation: Jarvis CDM / School of Computing
- Role types: faculty
- Last reviewed: 2026-05-30
Access (availability): 🟢 Green — open or routine · 🟡 Yellow — appointment or affiliation · 🔴 Red — restricted · ⚪/⚫ White/Black — not yet classified
Verification: ✓ confirmed · ~ likely · ? needs review · ✕ archived
Profile & contact
- Email: smitsch@depaul.edu
- Faculty profile: facweb.cdm.depaul.edu/smitsch/provelab.html
- ORCID: 0000-0002-3194-9759 (probable)
Description
Stefan Mitsch is a faculty member at DePaul University in Jarvis CDM / School of Computing. Documented areas of work include cyber physical systems, formal methods, neural networks, ground robotics, and embedded systems.
Linked resources
- CyberLabs (Affiliated faculty)
- PROVE Lab (Faculty lead)
- Computing Academic Programs (Affiliated faculty)
Linked grants
- FMitF Track I A Formal Verification and Implementation Stack for Programmable Logic Controllers (PI)
- SafeRails (PI)
- I-Corps: Translation Potential of a Train Protection System (PI)
Linked courses
None documented.
Linked publications
- Provably Safe Neural Network Controllers via Differential Dynamic Logic (Coauthor) — DOI
- A Formal Safety Net for Waypoint-Following in Ground Robots (Coauthor) — DOI
- Hybrid Game Control Envelope Synthesis (Coauthor) — DOI
- PUB-607 (Author) — DOI
- PUB-769 (Author) — DOI
- PUB-849 (Author) — DOI
Linked outputs
None documented.
Verification
- Status: ✓ Listed in the map and on a DePaul page
- Last reviewed: 2026-05-30
- ORCID verification: probable (source: orcid_api)
Source URLs
Notes
Person listing on the Resource Map. Open linked places, grants, courses, and publications from this page.