Overview
This is the home page of André Platzer.
On this web page, you will find a selection of topics in computer science, mathematics, and logic.
Especially, verification technology for hybrid systems.
Of particular interest, this page 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.
Publications that are related to
logic, computer science, and mathematics are also available
on this page (if permitted by the publisher).
The list of publications may not be up to date, though.
Navigation
For navigation on these page, you can use the menu on the left.
For a quick overview of all documents on this page, please use the
site map.
|
