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.
- Logical Structures in Computation, Fall 2016. Research Fellow.