|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, Theorem Proving
On these web pages, you will find a selection of my research topics. Not all of my research is reflected, but you will find an overview of my research agenda and can explore more details.
The KeYmaera Verification Tool for Hybrid Systems, its brand-new successor KeYmaera X are described along with the family of differential dynamic logics for hybrid systems verification that they implement as well as more general Logical Foundations of Cyber-Physical Systems.
Publications are available at the List of Publications.
- Upcoming textbook on Logical Foundations of Cyber-Physical Systems
- Lectures at Marktoberdorf Summer School