Short CV

Degrees

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.
(2019-2023) Ghent University.
(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.

National and International Awards

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.

Editorial work

Guest editor for the special issue "Modern Perspectives in Proof Theory" of the
Philosophical Transactions of the Royal Society.

Refereeing work

Journals: Proceedings of the American Mathematical Society, Bulletin of the London Mathematical Society, Journal of Symbolic Logic, Bulletin of Symbolic Logic, Review of Symbolic Logic, Annals of Pure and Applied Logic, Archive for Mathematical Logic.

Conferences: Logic in Computer Science; Computability in Europe; Advances in Modal Logic; Workshop on Logic; Language, Information, and Computation; International Joint Conference on Artificial Intelligence.

Conferences and special sessions

Trends in Proof Theory 2023. Ghent University.
Computability in Europe 2021. Ghent University.
Special session on Proofs and Computation at CiE2021 (with David Fernández-Duque).