PROVE Lab (CDM-010)
PROVE Lab is documented in the DePaul Resource Map as center at DePaul University, Jarvis College of Computing and Digital Media, School of Computing, Loop. Documentation is partial or indirect, so the listing is treated as likely current. Formal verification and runtime monitoring for safety-critical cyber-physical systems. Access: 🟡 Yellow — Needs an appointment or affiliation.
Summary 🟡 ~
- College / school: Jarvis College of Computing and Digital Media
- Sub-unit: School of Computing
- Campus/Location: Loop
- Last Verified: July 1, 2026
Access (availability): 🟢 Green — open or routine · 🟡 Yellow — appointment or affiliation · 🔴 Red — restricted · ⚪/⚫ White/Black — not yet classified
Verification: ✓ confirmed · ~ likely · ? needs review · ✕ archived
Description & capabilities
Formal verification and runtime monitoring for safety-critical cyber-physical systems.
Access status
- Access: 🟡 Yellow — Needs an appointment or affiliation
- Rationale: PROVE Lab site and listed faculty email are the primary public contact path; no published open-access or walk-in policy for lab infrastructure.
- Access URL: www.cdm.depaul.edu/academics/research-and-creative-activit…
- Contact name: Stefan Mitsch
- Contact email: smitsch@depaul.edu
- Verification date: 2026-07-01
- Source URLs:
- www.cdm.depaul.edu/academics/research-and-creative-activit…
- facweb.cdm.depaul.edu/smitsch/provelab.html
Verification
- Status: ~ Likely current
- Rationale: Documented from an archived institutional source. primary source: https://www.cdm.depaul.edu/academics/research-and-creative-activity/labs-and-facilities/cyberlabs
- Last verified: 2026-07-01
- Evidence:
- Stefan Mitsch — School of Computing; ProVE-Lab researches logical foundations and tools for theorem proving and verified runtime monitoring (CyberLabs official CDM labs page). (https://www.cdm.depaul.edu/academics/research-and-creative-activity/labs-and-facilities/cyberlabs)
- Supplementary lab reference: https://facweb.cdm.depaul.edu/smitsch/provelab.html
Equipment
Find this resource from the Equipment catalog or site search by instrument or lab name.
| Category | Specific equipment |
|---|---|
| GPU compute | Formal verification and CPS research compute workstations |
Source: Research lab; compute-focused (CDM resource map May 2026). Last verified: July 29, 2026.
Contacts (resource-level)
- Website: PROVE Lab
- Email: Stefan Mitsch
Last verified: May 28, 2026.
People & contacts
Named contacts when publicly documented.
- Stefan Mitsch (Faculty lead) — smitsch@depaul.edu · Profile
Source URL
Official links and email are listed under Contacts above.
Documented Relationships
Supports robotics and CPS safety efforts.
Related listings
- None explicitly linked yet.
Documented connections
Generated from documented publication and people connections. Superscript numbers open Sources below. Multiple sources on one claim are grouped as 1,4. Grant links are listed on publication and grant pages.
Publications
- Using Recommender Systems to Help Revitalize Local News (2022) — supporting, mentions · DOI1
People on linked publications
- Bamshad Mobasher (coauthor; PUB-075)1
Sources
- Named in a published article. Archived source retained by Resource Map maintainers. View current source
Notes
Lab profile.