Andre Platzer Associate Professor Robotics InstituteComputer Science Department Office: 9103 Gates and Hillman Centers Email: aplatzer@cs.cmu.edu Phone: 412-268-1558 Fax: 412-268-5576 Personal Website: https://lfcps.org 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