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.