Research

We deal with questions of algorithms (especially randomised algorithms), concrete complexity theory, verification (especially model checking) and logic.

This work is located in the subject areas and is therefore also explained in more detail there. 

Every 14 days, current results are presented in the institute's seminar.

The following workshops have been organized by us:

• Jahrestagung der GI-Fachgruppe "Logik in der Informatik" (2011)

• Algorithmische Modelltheorie (2012)

• Workshop "Automaten und Logik" und Theorietag der GI-Fachgruppe "Automaten und Formale Sprachen" (2013)