Research Topics in Logic, Computer Science, and Mathematics

Overview

From this page, you will find some of my research topics, mainly situated in the area of logic in computer science and mathematics, especially verification of hybrid systems, programs, and differential dynamic logic for hybrid programs. Additionally, this site hosts some of my publications.

Further information on tool-oriented research topics is presented in the Tools section.

• Research interests
• List of publications (and BibTeX entries)

Implementations of some of the corresponding algorithms are contained in the Tools section.

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.