Andre Platzer

Assistant Professor – CS ECE
Department Electrical and Computer Engineering
Office 9103 Gates-Hillman Center
Telephone (412)-268-1558
Email
Website http://symbolaris.com/

Carnegie Mellon, 2008

Research Area

Signals and Systems

Keywords

Verification of embedded control systems, hybrid dynamical systems, cyber-physical systems, distributed hybrid systems, logic and formal methods