PROVE Lab (CDM-010)
Summary 🟡 ~
- Owner Unit: Jarvis College of Computing and Digital Media
- Sub-unit: School of Computing
- Content Type: center
- Campus/Location: Loop
- Last Verified: July 1, 2026
Description & capabilities
Formal verification and runtime monitoring for safety-critical cyber-physical systems.
Access status
- Level: yellow (
Negotiated Access) - 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 (
~) - Confidence: 78/100
- Rationale: Legacy evidence aligned with kernel provenance (depaul/XTR-000075); 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 (e.g. “3D printers”, “laser cutter”, “NMR”).
| 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 from the people registry 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.
Linked Relationship IDs
- None explicitly linked yet.
Documented connections
Generated from publication↔resource and person↔publication registries. 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
- gazetteer hit in OA full text. Archived source retained by Resource Map maintainers. View current source
Notes
Lab profile.