I am currently an FWF PostDoc at the Vienna University of Technology. I obtained my PhD in April 2019.
My research interests include Proof Theory, Set Theory, and Recursion Theory.
Spring 2019. Seminar in Mathematical Logic.
Fall 2018. Seminar in Mathematical Logic.
Spring 2018. Ordinal Analysis and Consistency Proofs.