Andre Platzer Associate Professor Computer Science DepartmentRobotics Institute 9103 Gates and Hillman Centers Email: aplatzer@cs.cmu.edu Phone: 412-268-1558 Fax: 412-268-5576 Personal Website: http://symbolaris.com/ Research Interests: Computational MathematicsControl SystemsCyber-Physical SystemsDependable and Embedded SystemsFormal Methods/VerificationGame TheoryLogicMathematicsProgramming LanguagesRealtime SystemsRobotics
