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.