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.
Contact:
Fax: +49 3677 69-1237
Email: christoph.berkholz (at) tu-ilmenau.de
Url: https://www.tu-ilmenau.de/algo
Postal address:
Technische Universität Ilmenau
Fachgebiet Algorithmik
Postfach 10 05 65
98684 Ilmenau
Germany
Junior professor in Logic and Complexity
|
|
||
|
|
||
|
|
||
| URL: | ||
| 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
Activities
- Co-organisation of the Dagstuhl Seminar Finite and Algorithmic Model Theory (Jan/Feb 2022).
Program committee membership
- 20. Fachtagung für Datenbanksysteme für Business, Technologie und Web (BTW 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)
Teaching
See Teaching for an overview of the teaching activities of our groups (in german).
I am/was involved in the following lectures:
| SoSe 2022
|
Seminar |
Probabilistic Databases |
|
WS 2021/22 |
Vorlesung und Übung | |
| Seminar |
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.
Miscellaneous
- My Erdős-Bacon number is ≤7 (Erdős number 3 via Oleg Verbitsky + Bacon number ≤4 via Detlev Buck).
- My ha-index is 87.