- Habilitation in Mathematics.

Thesis:*Contributions to Mathematical Logic*(222pp.), submitted May 2023.

**April 2019**- Ph.D. Mathematics

Thesis:*Between the Finite and the Infinite*(444 pp.).Advisors: Matthias Baaz and W. Hugh Woodin.

**June 2015**- B.Sc. Applied Mathematics.

Thesis:*Uncountable Topological Interpretations of Provability Logic*(44 pp.).

Advisor: David Fernández-Duque.

- (since 2015)
**Vienna University of Technology****.**

- (since 2019)
**Ghent University.**

- (2023)
**University of Vienna.**

- (2023) Visiting Researcher at the
**University of Hamburg.**

- (2023) Visiting By-Fellow at Churchill College,
**University of Cambridge.**

- (2017) Visiting Scholar at
**Rutgers University.**

- (2017) Visiting Fellow at
**Harvard University.**

**Best Paper Award 2021.**Awarded by the Faculty of Mathematics and Geoinformation of the TU Vienna to the best article written by a faculty member in 2021. Awarded to "Long Borel Games" (*Israel J. Math.*243, pp. 273-314).

- Dissertation Award by the German Association for Mathematical Logic and Foundational Research in the Exact Sciences (DMVLG) for the most oustanding dissertation in 2018-2022.

**Studienpreis 2021.**Awarded by the Austrian Mathematical Society to the most outstanding PhD dissertation in Mathematics in 2019–2020.

**Best Paper Award 2020.**Awarded by the Faculty of Mathematics and Geoinformation of the TU Vienna to the best article written by a faculty member in 2020. Awarded to "Determined Admissible Sets" (*Proc. Amer. Math. Soc*. 148, pp. 2217-2231).

**E. W. Beth Dissertation Prize 2020**. Awarded by the Association for Logic, Language, and Information to the most outstanding PhD dissertation in Logic, Language, and Information worldwide in 2019.

**Sotero Prieto Prize 2016**. Awarded by the Mexican Mathematical Society to the most outstanding undergraduate thesis in Mathematics in 2015.

**ExITAM Prize 2016.**Awarded by ITAM to the most outstanding thesis in Applied Mathematics in 2014–2015.

Guest editor for the special issue "*Modern Perspectives in Proof Theory*" of the

**Philosophical Transactions of the Royal Society.**

- Workshop "Reverse Mathematics: Beyond Logic" Part of the ESI trimester on Reverse Mathematics. August 25th–29th, 2025.

- BIRS Workshop on Infinitary Proof Theory: Techniques and Applications at CMO in Oaxaca, Mexico (with B. Afshari and M. Rathjen). August 10–15, 2025.

- Workshop "Reverse Mathematics: New paradigms." Part of the ESI trimester on Reverse Mathematics. July 28th–August 8th, 2025.

- Workshop "Reverse Mathematics and Generalized Computability Theory." Part of the ESI trimester on Reverse Mathematics. June 30th–July 4th, 2025.

- Thematic program on Reverse Mathematics at the Erwin Schrödinger Institute (with N. Greenberg, D. Hirschfeldt, and L. Westrick). June 23–August 19, 2025, Vienna, Austria.

- Workshop on Higher Computability Theory at CIEM in Cantabria, Spain (with N. Greenberg, P. Welch, and L. Yu). August 19–23, 2024.

- Trends in Proof Theory 2024 (with A. Freund and F. Pakhomov). February 5–16, 2024, TU Wien.

- Trends in Proof Theory 2023 (with A. Freund, F. Pakhomov, and A. Weiermann). January 16–17, 2023, Ghent University.

- Member of the organizing committee of Computability in Europe 2021. July 5–9, 2021, Ghent University.

- Special session on Proofs and Computation at Computability in Europe 2021 (with David Fernández-Duque).

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