I am a Project Leader at the Institute of Discrete Mathematics and Geometry of the Vienna University of Technology, Austria, where I am the Principal Investigator of FWF projects I4513, TAI-797, ESP-3, and P36837.

I am also a Project Leader at the Kurt Gödel Research Center of the University of Vienna, where I hold an APART-MINT fellowship of the Austrian Academy of Sciences.

Moreover, I am an FWO fellow (on leave) at the Department of Mathematics of Ghent University, Belgium.

**For mathematical or academic matters:** last name at logic.at

**For university-related matters: **firstname.lastname at {tuwien.ac.at,ugent.be,univie.ac.at}

**For miscellaneous matters: **contact at thisdomain (.ag; see URL).

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's, Master's, or PhD projects, or in a short postdoc or visiting position in any of my areas of interest.

Our special issue of *Philosophical Transactions of the Royal Society *has now been published on the Royal Society's website. See the blog post.

- 17th International Conference on Computability, Complexity and Randomness. Nagoya, March 11–15, 2024.

TBA.

- Meeting of the Belgian Mathematical Society. December 20th, 2023.

TBA.

- Oberwolfach workshop "Mathematical Logic: Proof Theory, Constructive Mathematics." November 12–17, 2023.

- Workshop on Proof Theory, Modal Logic and Reflection Principles. Bern, Switzerland. October 31st–November 3rd, 2023.

TBA.

- 5th Workshop on Digitalization and Computable Models. Astana, October 4, 2023.

*Determinacy in Second-Order Arithmetic.*

- Meeting of the German Mathematical Society. Ilmenau, September 25–28.

*Some results on Gödel logics.*

- British Logic Colloquium. Bristol, September 7–8, 2023.

*Some results on Gödel logics.*

- Hamburg Logic Seminar. July 7th, 2023.

*Indiscernibility Spectra.*

- Ghent Logic Seminar. June 29th, 2023.

*Monotone versus non-monotone operators.*

- Wuhan Logic Lecture Series. June 7th, 2023.

*Soundness Spectra.*

- Hamburg Logic Seminar. June 2nd, 2023.

*Closure ordinals of inductive definitions.*

- Logic Online Seminar. May 23rd, 2023.

*Non-linearities in the Analytical Hierarchy.*

- Talk at the Faculty of Mathematics and Geoinformation of TU Wien. April 28th, 2023.

*Functorial Proof Theory*

- Computability Theory and Applications online seminar. April 4th, 2023.

*Determinacy in Second-Order Arithmetic.*

- Bristol logic seminar. March 22nd, 2023.

*A generalization of Borel Determinacy.*

- LSE Seminar on Games and Optimization. March 16th, 2023.

*Generalizations of Borel Determinacy.*

- Set Theory in the UK. Cambridge, March 7th, 2023.

*Non-linearities in the analytical hierarchy, II.*

- Arctic Set Theory Workshop. Kilpisjärvi, February 24th, 2023.

*Winning strategies for Borel games.*

- Leeds Logic Seminar. February 8th, 2023.

*Non-linearities in the analytical hierarchy.*

- Warsaw Logic Seminar. January 25th, 2023.

*Pi12 Proof Theory.*

- Trends in Proof Theory. Ghent. January 16-17th, 2023.

*The Pi12 Soundness Ordinal.*

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