|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.
V&VGrand Prix announced for
Foundations of Cyber-Physical Systems course (Spring 2017)
- NSF Workshop on CPS Verification&Validation: Industrial Challenges & Foundations (Spring 2017)