Humboldt-Universität zu Berlin - Faculty of Mathematics and Natural Sciences - Theoretical Computer Science

Prof. Dr. Christoph Berkholz

I have moved to TU Ilmenau where I am heading the algorithms group at the Institute of Theoretical Computer Science


If you are interested in doing a PhD / postdoc under my supervision in Ilmenau, please contact me.



Tel: +49 3677 69-2783
Fax: +49 3677 69-1237
Email: christoph.berkholz (at)

Postal address:
Technische Universität Ilmenau
Fachgebiet Algorithmik
Postfach 10 05 65
98684 Ilmenau
The page will no longer be updated (07/2022).



Junior professor in Logic and Complexity

Postal address:

Institut für Informatik
Humboldt-Universität zu Berlin
Unter den Linden 6
D-10099 Berlin

Physical office:

Rudower Chaussee 25, Raum III.424
D-12489 Berlin-Adlershof


+49 30 2093 3079


berkholz (at)


Office hours:

by appointment

About me

Since October 2019 I am junior professor (≈ assistant professor without tenure-track) at the Department of Computer Science and Head of the DFG Emmy Noether-group Representation Complexity of Enumeration and Counting Algorithms. I am also junior faculty member in the research training group Facets of Complexity. My research interests include:

  • logic and database theory
  • proof complexity and foundations of SAT-Solving
  • knowledge compilation
  • constraint satisfaction



Program committee membership



See Teaching for an overview of the teaching activities of our groups (in german).

I am/was involved in the following lectures:

SoSe 2022



Probabilistic Databases

WS 2021/22

Vorlesung und Übung

Constraint Satisfaction: Algorithms and Complexity


Komplexität boolescher Funktionen

SoSe 2021

Vorlesung und Übung Einführung in die formale Logik für IMP Moodle-Link

WS 2020/21

Seminar Kommunikationskomplexität
SoSe 2020 Vorlesung und Übung Einführung in die Beweiskomplexität
  Seminar Beweiskomplexität
WS 2019/20 Seminar Aktuelle Themen der Theoretischen Informatik
WS 2018/19 Vorlesung Logik in der Informatik
SoSe 2018 Seminar Aktuelle Themen der Theoretischen Informatik
SoSe 2017 Vorlesung und Übung Einführung in die Beweiskomplexität
SoSe 2016 Übung Ausgewählte Kapitel der Logik
WS 2015/16 Seminar Aktuelle Themen in Logik und Komplexität
WS 2014/15 Übung Foundations of Data Science (RWTH Aachen)
  Seminar Probabilistische Datenbanken (RWTH Aachen)
SoSe 2014 Seminar Aktuelle Themen der Theoretischen Informatik (RWTH Aachen)
  Projektpraktikum Informatik-Praktikum für Mathematiker (RWTH Aachen)
WS 2013/14 Seminar Berechnungsmodelle für "Big Data" (RWTH Aachen)
SoSe 2013 Übung Theory of Constraint Satisfaction Problems (RWTH Aachen)
WS 2012/13 Seminar Logik und Komplexität (RWTH Aachen)
SoSe 2012 Seminar Logik und Komplexität
WS 2011/12 Übung Logik in der Informatik


Publications and Preprints

For an up-to-date publication list see dblp. Under publications additional material such as preprints, poster, etc. can be found.