Prof. Dr. Christoph Berkholz

Ü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

• Ausrichtung Algortimic Model Theory (AlMoTh) Meeting 2024 (www.tu-ilmenau.de/almoth2024)
• Mitorganisation des Dagstuhl Seminars Finite and Algorithmic Model Theory (30.01. – 04.02.2022) Report

Mitwirkung in Programmkomitees

• 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)
• 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024)
• 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.

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 ≤3 (bspw. via Detlev Buck)
• Damit ist meine Erdős-Bacon-Zahl ≤6
• Eintrag im Mathematics Genealogy Project