Connections

Start with the list of documented relationships below. Open the map when you want to explore visually. Green arrows usually mean who runs this place; blue arrows mean who uses or supports it.

Documented connections for PROVE Lab

People (1)

Stefan Mitsch Lead or director

Why this connection appears

PROVE Lab site and listed faculty email are the primary public contact path

See on map

Equipment (1)

GPU compute Equipment listed here

Why this connection appears

Research lab; compute-focused (CDM resource map May 2026)

See on map

Colleges and schools (1)

Jarvis College of Computing and Digital Media (CDM) Academic home

Why this connection appears

Stefan Mitsch — School of Computing; ProVE-Lab researches logical foundations and tools for theorem proving and verified runtime monitoring (CyberLabs official CDM labs page).

See on map

Connection map (visual)

Tap a place or person to see its title here.

Legend

Place or program Person College or school Grant Course Publication Creative or scholarly work Who runs this place Who uses or supports it Documented lead Linked grant Linked publication or work Related to each other

← Back to goals Developer view