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
Personal Website:
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