Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Logik in der Informatik

Prof. Dr. Christoph Berkholz

Seit 01.08.2022 leite ich das Fachgebiet Algorithmik am Institut für Theoretische Informatik der TU Ilmenau. 

 

Zur Zeit befindet sich die neue Arbeitsgruppe im Aufbau und ich werde demnächst mehrere Mitarbeiterstellen besetzen. Bei Interesse an einer Doktoranden- oder Postdoc-Stelle in meinem Fachgebiet in Ilmenau, schreiben Sie mir am besten eine E-Mail.

 

Meine neuen Kontaktdaten sind:

Tel: +49 3677 69-2783
Fax: +49 3677 69-1237
Email: christoph.berkholz (at) tu-ilmenau.de
Url: https://www.tu-ilmenau.de/algo

Postanschrift:
Technische Universität Ilmenau
Fachgebiet Algorithmik
Postfach 10 05 65
98684 Ilmenau
Germany
 
Diese Seite wird nicht länger aktualisiert (Stand 07/2022).

 

 

Juniorprofessor für Logik und Komplexität This page in English


Foto-Berkholz.png Adresse:

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

Sitz:

Johann-von-Neumann-Haus
Rudower Chaussee 25, Raum III.424
D-12489 Berlin-Adlershof

Telefon:

+49 30 2093 41130

E-Mail:

berkholz (at) informatik.hu-berlin.de

URL:

www.informatik.hu-berlin.de/~berkhoch

Sprechzeiten:

nach Vereinbarung


Über mich

Ich bin seit Oktober 2019 Juniorprofessor am Institut für Informatik und Leiter der DFG-geförderten Emmy Noether-Nachwuchsgruppe Representation Complexity of Enumeration and Counting Algorithms. Darüber hinaus bin ich Mitglied der Junior Faculty im Graduiertenkolleg Facets of Complexity. Meine Forschungsinteressen beinhalten:

  • Logik und Datenbanktheorie
  • Beweiskomplexität und Grundlagen des SAT-Solvings
  • Knowledge Compilation
  • Constraint Satisfaction

 

Aktivitäten

Mitwirkung in Programmkomitees

 

Lehre

Unter Lehre findet sich eine Übersicht aktueller und früherer Lehrveranstaltungen der Arbeitsgruppen.

Eigene Lehrveranstaltungen:

 

SoSe 2022

 

Seminar

Probabilistische Datenbanken

WS 2021/22

Vorlesung und Übung

Constraint Satisfaction: Algorithms and Complexity

  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

 

Publikationen und Preprints

Für eine aktuelle Liste von Veröffentlichungen siehe dblp. Unter Publikationen finden sich zusätzlich Preprints, Poster, etc.

 

Sonstiges