Stefan Mitsch Systems Scientist Research Areas: Embedded and cyber-physical systems Model development and analysis Perception Verification
Andre Platzer Courtesy Faculty MemberProfessor Research Areas: AI Safety Embedded and cyber-physical systems Formal methods General programming languages Heterogeneous (hybrid) systems Logic Robotic control Safety critical systems Theorem proving and SAT solving
Saquib Razak Associate Teaching Professor of Computer Science Research Areas: Computing education Embedded and cyber-physical systems Embedded systems Wireless local area networks
Mahadev Satyanarayanan Carnegie Group Professor of Computer Science Research Areas: Cloud computing Distributed Systems Edge Embedded and cyber-physical systems Mobile computing
