Research at the Institute of Theoretical Computer Science

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: