Christoph Berkholz

Postdoctoral Researcher, Humboldt University of Berlin

Christoph Berkholz is a postdoctoral researcher at Humboldt University of Berlin. He is interested in finite model theory, propositional proof complexity, algorithms, database theory, and the interaction among these disciplines. Before joining Humboldt University in 2015, he was postdoc at KTH Royal Institute of Technology Stockholm, supported by a scholarship from the German Academic Exchange Service (DAAD). He obtained his doctoral degree from RWTH Aachen University in 2014 under the supervision of Martin Grohe.

Program Visits

Satisfiability: Theory, Practice, and Beyond, Spring 2021, Visiting Scientist
Logical Structures in Computation, Fall 2016, Research Fellow