Andre Platzer

Associate Professor
Computer Science Department
Robotics Institute
Office: 
9103
Gates and Hillman Centers
Email: 
aplatzer@cs.cmu.edu
Phone: 
412-268-1558
Fax: 
412-268-5576
Research Interests: 
Computational Mathematics
Control Systems
Cyber-Physical Systems
Dependable and Embedded Systems
Formal Methods/Verification
Game Theory
Logic
Mathematics
Programming Languages
Realtime Systems
Robotics