|
This is the home page of André Platzer at Carnegie Mellon University.
On this web page, you will find a selection of topics 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.
In addition to this, there are
Java applets of strategic board games, as well as survey description documents
on some aspects of computer science.
Information on my courses 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 are also available
on this page (if permitted by the publisher).
In the News
Read about this research in the news:
|