Department of Mathematics, Ghent University, Belgium.

Institute of Discrete Mathematics and Geometry, Vienna University of Technology, Austria.

Mathematical Logic: Proof Theory, Set Theory, Recursion Theory, and their interactions.

Spring 2019. Seminar in Mathematical Logic.

Fall 2018. Seminar in Mathematical Logic.

Spring 2018. Ordinal Analysis and Consistency Proofs.