Logo TU Ilmenau



We conduct our research in the areas of algorithms (with a focus on randomized algorithms), complexity theory, verification (in particular Model Checking) and logic.

Further details of our research activities can be found in the specific research groups.

Our research seminar provides talks of external guests, research members of the institute, and students about recent results in our research areas or related topics.

We have organized the following workshops: