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

Department of Mathematics, Ghent University, Belgium.

All areas of Mathematical Logic, including Proof Theory; Set Theory; Recursion Theory; Model Theory; non-classical, many-valued, and modal logics; as well as interactions between these areas.

Feel free to get in touch if you're interested in Bachelor, Masters, or PhD projects, or in a short postdoc or visiting position in any of my areas of interest.

- TBA. British Logic Colloquium. Bristol, September 7-8, 2023.
- TBA. Set Theory in the UK. Cambridge, March 7th, 2023.
- TBA. Arctic Set Theory Workshop. Kilpisjärvi, February 20th-25th, 2023.
- TBA. Leeds Logic Seminar. February 8th, 2023.
*Pi12 Proof Theory.*Warsaw Logic Seminar. January 25th, 2023.*The Pi12 Soundness Ordinal.*Trends in Proof Theory. Ghent. January 16-17th, 2023.- CaDProBI Workshop. Hamburg. January 11-13th, 2023.
*Determinacy in Second-Order Arithmetic*. Ghent Logic Seminar. November 17th, 2022.*Proof Theory of Pi12-Unsound Theories.*Proof Society Workshop in Utrecht. November 11th, 2022.*Determinacy on the Edge of Second-Order Arithmetic.*Barcelona Set Theory Seminar. October 26th, 2022.

Fall 2020. Set Theory (UGent).

Fall 2019. Set Theory (UGent).

Spring 2019. Seminar in Mathematical Logic (TU Wien).

Fall 2018. Seminar in Mathematical Logic (TU Wien).

Spring 2018. Ordinal Analysis and Consistency Proofs (TU Wien).

This website uses cookies. By continuing to use this site, you accept our use of cookies.