André Platzer @ Carnegie Mellon University

André Platzer @ Carnegie Mellon University
André Platzer Curriculum Vitae
Associate Professor Email: send email
Computer Science Department Phone: +1 (412) 268-1558
Carnegie Mellon University Fax: +1 (412) 268-5576
Pittsburgh, PA 15213-3891, USA      Office: GHC 9103
Research interests:
Logic in Computer Science, Cyber-Physical Systems, Programming Languages, Formal Methods      (more)

 

Overview

On these web pages, you will find a selection of my research topics and tools in computer science, mathematics, and logic. Not all of my research is reflected, but you will find a reasonable overview.

KeYmaera: A Hybrid Theorem Prover for Hybrid SystemsLogical Analysis of Hybrid Systems
Logic for Distributed Hybrid SystemsLogical Foundations of Cyber-Physical Systems
15-122: Principles of Imperative Computation (Sp'14)15-424: Foundations of Cyber-Physical Systems (Fa'14)
Differential Radical InvariantsCase Study: Mobile Robots and Surgical Robots
Case Study: European Train Control SystemCase Study: Formal Verification of Curved Flight Collision Avoidance Maneuvers

There are details about the KeYmaera Verification Tool for Hybrid Systems and the family of differential dynamic logics for hybrid systems verification as well as the Logical Foundations of Cyber-Physical Systems.

Information on the courses I teach at Carnegie Mellon University can be found in the Teaching Section. My CMU Web Page and symbolaris.com are usually in synch.

Publications are available at the List of Publications.

Announcements

In the News

Read about this research in the news:
Machine Intelligence Research Institute
MIRI
Robotics Business Review
RBR
AI 10 to Watch 2010
AI 10 to Watch
ScienceNews for Kids
ScienceNews for Kids
ACM Doctoral Dissertation Honorable Mention Award
ACM Award
JFK 50 Science & Innovation
JFK50 Feature
Logical Analysis of Hybrid Systems
Springer
POPCity Innovation
POPCity
Carnegie Mellon Today Cover Story: Check this Out
Today
The Tartan
The Tartan
Brilliant 10 in Popular Science Magazine
PopSci
Post-Gazette
Post-Gazette