Stefan Mitsch (PER-005)

Summary ✓

• Person ID: PER-005
• Primary affiliation: Jarvis CDM / School of Computing
• Role types: faculty
• Last reviewed: 2026-05-30

Profile & contact

• Email: smitsch@depaul.edu
• Faculty profile: facweb.cdm.depaul.edu/smitsch/provelab.html
• ORCID: 0000-0002-3194-9759 (probable)

Description

PROVE Lab; CyberLabs affiliated faculty.

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)

Linked courses

None documented.

Linked publications

• Provably Safe Neural Network Controllers via Differential Dynamic Logic (Coauthor) — DOI/source
• A Formal Safety Net for Waypoint-Following in Ground Robots (Coauthor) — DOI/source
• Hybrid Game Control Envelope Synthesis (Coauthor) — DOI/source

Linked outputs

None documented.

Verification

• Status: repo_and_depaul_verified (✓)
• Confidence: high
• Last reviewed: 2026-05-30
• ORCID verification: probable (source: orcid_api)

Source URLs

• facweb.cdm.depaul.edu/smitsch/provelab.html
• orcid.org/0000-0002-3194-9759
• www.cdm.depaul.edu/academics/research-and-creative-activit…
• www.cdm.depaul.edu/academics/research-and-creative-activit…

Notes

Generated from data/people.yaml and link registries. Person hub page — browse linked resources, grants, and courses from this index entry.