Direkt zum InhaltDirekt zur SucheDirekt zur Navigation
▼ Zielgruppen ▼

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

Prof. Dr. Christoph Berkholz

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


 
Adresse:

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

Sitz:

Johann-von-Neumann-Haus
Rudower Chausse 25, Raum III.422
D-12489 Berlin-Adlershof

Telefon:

+49 30 2093 3079

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

(Geplante) Teilnahme an Konferenzen und Tagungen
2020

 

2019

 

Mitwirkung in Programmkomitees

 

Lehre

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

Eigene Lehrveranstaltungen:

 

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

Meine Erdős-Zahl ist 3 und mein ha-index ist 87.