Jonas Conneryd defends his thesis in Computer Science with the title "On the Algebraic Proof Complexity of Constraint Satisfaction".

Faculty opponent is Professor Alexander Razborov, University of Chicago, USA.

The dissertation will be live streamed, but part of the premises is to be excluded from the live stream.