Univ.-Prof. Dr. Christoph Berkholz
christoph.berkholz (at) tu-ilmenau.de
+49 3677 69-2783
Besuchsadresse
Zusebau, Raum 1045 (Helmholtzplatz 5, 98693 Ilmenau)
Postanschrift
TU Ilmenau, Postfach 10 05 65, 98684 Ilmenau
Über mich
Ich bin seit August 2022 Leiter des Fachgebiets Algorithmik am Institut für Theoretische Informatik der Fakultät für Informatik und Automatisierung. Davor war ich Juniorprofessor am Institut für Informatik der Humboldt-Universität zu Berlin und Leiter der DFG-geförderten Emmy Noether-Nachwuchsgruppe Representation Complexity of Enumeration and Counting Algorithms. Mein Forschungsinteresse gilt der Theoretischen Informatik, insbesondere der Entwicklung und der Analyse algorithmischer Verfahren und ihrer prinzipiellen Grenzen. Meine Forschung berührt (und verknüpft) dabei die folgenenden Themenbereiche.
- Logik und Datenbanktheorie
- Beweiskomplexität und Grundlagen des SAT-Solvings
- Knowledge Compilation
- Constraint Satisfaction
- Dynamische Algorithmen; Zähl- und Aufzählalgorithmen
Aktivitäten
- Mitorganisation des Dagstuhl Seminars Finite and Algorithmic Model Theory (30.01. – 04.02.2022) Report
Mitwirkung in Programmkomitees
- 43rd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2024)
- 20. Fachtagung für Datenbanksysteme für Business, Technologie und Web (BTW 2023)
- 32th International Joint Conference on Artificial Intelligence (IJCAI 2023)
- 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)
- 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022)
- 30th International Joint Conference on Artificial Intelligence (IJCAI-21)
- 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021)
- 29th International Joint Conference on Artificial Intelligence and 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI2020)
- 23rd International Conference on Database Theory (ICDT 2020)
- 36th International Symposium on Theoretical Aspekts of Computer Science (STACS 2019)
Lehre
Übersicht regelmäßiger und aktueller Lehrveranstaltungen am Institut für Theoretische Informatik.
Wintersemester 2022/23
- Algorithmen und Datenstrukturen 2 (Bachelor)
- Effiziente Algorithmen (Master)
- Beweiskomplexität (Master)
Publikationen und Preprints
Für eine aktuelle Liste von Veröffentlichungen siehe dblp.
Sonstiges
- Meine Erdős-Zahl ist 3 (via Oleg Verbitsky)
- Meine Bacon-Zahl ist ≤4 (bspw. via Detlev Buck)
- Damit ist meine Erdős-Bacon-Zahl ≤7
- Eintrag im Mathematics Genealogy Project