Welcome to the Algorithms group

The Algorithms group at the Institute of Theoretical Computer Science is headed by Prof. Dr. Christoph Berkholz since August 1, 2022.

   

Research

How can tasks be solved with few resources, and where is the limit of efficient solvability? The overall goal of the research in this area is to gain a deep understanding of the structure and complexity of algorithmic methods.

One focus is currently on counting and enumeration algorithms, which are investigated in the DFG project Representation Complexity of Counting and Enumeration Problems.

TU Ilmenau
TU Ilmenau / Michael Reichel (ari)

Teaching

The Algorithms group currently offers the following courses:

Winter semester 2024/25


Overview of all modules of the Institute of Theoretical Computer Science

Examination information for the winter semester 2024/2025

Head of the group

Prof. Dr. Christoph Berkholz

christoph.berkholz (at) tu-ilmenau.de

+49 3677 69-2783

⌂  Zuse building, room 1045

Further Information

Secretariat

Jana Berlit

fg-theorie@tu-ilmenau.de

+49 3677 69-2655

🖷 +49 3677 69-1237

⌂ Zusebau, room 1046

Technical administration

Dipl.-Ing. Andreas Krechla

andreas.krechla@tu-ilmenau.de

+49 3677 69-2787

⌂  Zuse building, room 1045

Further information

Scientific staff

M.Sc. Harry Vinall-Smeeth

harry.vinall-smeeth@informatik.hu-berlin.de

+49 3677 69 - 4112

⌂ Zusebau, Room 1057

Further information

 
M.Sc. Hermann Wilhelm

hermann.wilhelm@tu-ilmenau.de

+49 3677 69-2786

⌂ Zusebau, Room 1048

Further information

 
M.Sc. Maximilian Merz

maximilian.merz@tu-ilmenau.de

+49 3677 69-2786

⌂ Zusebau, Room 1048

Further information

 
M.Sc. Matthäus Micun

matthaeus.micun@tu-ilmenau.de

+49 3677 69 - 4113

⌂ Zusebau, room 1057

Further information

 

Former head of the group

Prof. Dr. Martin Dietzfelbinger

martin.dietzfelbinger@tu-ilmenau.de

+49 3677 69-2656

⌂  Zuse building, room 1056

Further information

Alumni

News

Registration to Moodle in Winter semester 2024/2025

We would like to emphasise that all students who would like to participate in…

[Translate to English:] TU Ilmenau

Bachelor's defence on the topic "Aussagenlogik in mehrwertiger Logik"

Dear friends of theory, on Thursday, 10.10.2024 at 11:00 am in room Z 2073 Mr…

[Translate to English:] @TU Ilmenau

Exam results summer semester 2024

The results of Algorithmen und Datenstrukturen 2; Algorithmen, Automaten und…

[Translate to English:]

Paper by Harry Vinall-Smeeth accepted for publication at IJCAI'24

The paper “Structured d-DNNF is Not Closed Under Negation” by Harry…