AnLi Fotografie

Univ.-Prof. Dr. Christoph Berkholz

christoph.berkholz (at)

+49 3677 69-2783

Visiting address Zusebau, room 1045(Helmholtzplatz 5, 98693 Ilmenau)

Postal address TU Ilmenau, P.O. Box 10 05 65, 98684 Ilmenau

About me

I am head of the Algorithmics group at the Institute of Theoretical Computer Science of the Faculty of Computer Science and Automation since August 2022. Previously, I was a junior professor at the Institute of Computer Science at the Humboldt University of Berlin and head of the DFG-funded Emmy Noether junior research group Representation Complexity of Enumeration and Counting Algorithms. My research interests are in Theoretical Computer Science, in particular the development and analysis of algorithmic methods and their principal limits. My research touches (and links) the following topics.

  • Logic and database theory
  • Proof complexity and foundations of SAT solving
  • knowledge compilation
  • Constraint Satisfaction
  • Dynamic algorithms; counting and enumeration algorithms


Participation in program committees


Overview of regular and current courses at the Institute for Theoretical Computer Science.


Publications and Preprints

For a current list of publications, see dblp.