Overview
This is the home page of André Platzer at Carnegie Mellon University.
On this web page, you will find a selection of my research topics and tools in computer science, mathematics, and logic. Especially, verification technology for hybrid systems.
 |  |
 |  |
Among several other research topics, you will find details about the KeYmaera Verification Tool for Hybrid Systems and the theory of differential dynamic logic for hybrid systems verification.
This page further hosts the Orbital library for Java, which provides several object-oriented representations and algorithms for logic, mathematics and artificial intelligence. There are Java applets of strategic board games, as well as survey description documents on some aspects of computer science.
Information on the courses I teach at Carnegie Mellon University can be found in the Teaching Section.
See List of Publications for more information on publications that are related to logic, computer science, and mathematics
Announcements
- NSF awarded the Expedition Computational Modeling and Analysis for Complex Systems (CMACS)
In the News
Read about this research in the news:-
ACM Doctoral Dissertation Honorable Mention Award for the dissertation Differential Dynamic Logics: Automated Theorem Proving for Hybrid Systems
See news brief - Carnegie Mellon Today Cover Story
- Open-DO News
- LfSA Workshop <-->
- Best Paper Award at FM'09
- Tartan
- POPCity Innovation News
- ILW Immigrant of the Week <-->
- Brilliant 10 in Popular Science Magazine, November 2009
- CMU News
- Pittsburgh Post-Gazette
- CMU SCS News
- NSF Expedition Award
- Tribune Review
- Carnegie Mellon University press release
- NSF News
- ACM Technews
- Dr. Dobb's Portal
- The Engineer Online
- Communications of the ACM News
- NetworkWorld
- More than 25 other news sources
- The Register
- Physorg News
- Outlook Series
- AZoM News
- VWN News
- BigNews
- Silver Scorpio
- Silo Breaker
- EurekAlert
- University of the Aegean <-->