Short CV
Degrees
- 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.
Affiliations
- (since 2015) Vienna University of Technology.
- (2023) University of Vienna.
- (2023) Visiting Researcher at the University of Hamburg.
- (2023) Visiting By-Fellow at Churchill College, University of Cambridge.
- (2019–2024) Ghent University.
- (2017) Visiting Scholar at Rutgers University.
- (2017) Visiting Fellow at Harvard University.
National and International Awards
- FWF START Prize 2024. The highest award for outstanding young scientists in Austria. [Wikipedia] [Scilog interview] [FWF press release] [TU Wien press release] [News articles by Salzburger Nachrichten, APA, Der Standard, Die Presse]
- 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. [Link]
- 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. [Wikipedia]
- 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.
Activities
Council Member, Association for Symbolic Logic. Term 2025–2028.
Editorial work
Guest editor for the special issue "Modern Perspectives in Proof Theory" of the
Philosophical Transactions of the Royal Society.
Conferences organized
- Dagstuhl workshop "Arithmetical and Modal mu-Calculi: Recent and Future Advances" (with B. Afshari and D. Kozen). January 26-30, 2026.
- Young Set Theory 2025. TU Wien, September 8–12, 2025.
- Logic Colloquium 2025 (OC Chair). TU Wien, July 7–11th, 2025.
- 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).