Since October 2015, I am a PhD student working in mathematical logic at the Vienna University of Technology. I was a Visiting Fellow at Harvard University in the spring of 2017 and a Visiting Scholar at Rutgers University in the fall of 2017.

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.