• Home
  • Research
  • About
  • Contact
  • Mehr
    • Home
    • Research
    • About
    • Contact
  • Home
  • Research
  • About
  • Contact

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

  • Ghent University, since October 2019.
     
  • Vienna University of Technology, since October 2015.

Visiting Appointments

  • Fall 2017 - Visiting Scholar, Rutgers University.
     
  • Spring 2017 - Visiting Fellow, Harvard University.

National and International Awards

  • Studienpreis 2021. Awarded by the Austrian Mathematical Society to the most outstanding PhD dissertation in Mathematics.
     
  • 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. 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.
     
  • Sotero Prieto Prize 2016. Awarded by the Mexican Mathematical Society to the most outstanding undergraduate thesis in Mathematics.
     
  • ExITAM Prize 2016. Awarded by ITAM to the most outstanding thesis in Applied Mathematics.

Grants and Fellowships (as Principal Investigator)

  • Transfinite Blackwell Determinacy. Alexander von Humboldt Fellowship, 2023.
     
  • Determinacy on the Edge of Analysis. APART-MINT program of the Austrian Academy of Sciences, 2022-2023.
     
  • Second-Order Reflection on Ordinals. FWF grant ESP-3. 2022-2025 (287,710 EUR).
     
  • Strong Topological Completeness of Graded Consistency. Joint Excellence in Science and Humanities program of the Austrian Academy of Sciences. 2022.
     
  • Reflection Spectra: Predicative Mathematics and Beyond. FWF international grant I 4513. 2020-2025 (304,668 EUR)
     
  • Ordinal analysis of theories of determinacy. FWO postdoctoral fellowship 3E017319. 2019-2022 (approx. 300,000 EUR).
     
  • Generic Absoluteness. Marshall Plan Fellowship. 2017.


Grants and Fellowships (as project participant)

  • New Concepts of Formal Proof and Proof Representation. FWF international grant I4427. Principal Investigator: Matthias Baaz. Awarded jointly with an RSF project led by Lev Beklemishev. 2019-2022.
     
  • Interpolation Properties for first-order Gödel Logics. FWF stand-alone project P31955. Principal Investigator: Matthias Baaz. 2019-2022.
     
  • Proof Theory for Branching Quantifiers: CERES and Beyond. FWF stand-alone project P31063. Principal Investigator: Matthias Baaz. 2017-2020.
     
  • Modelling of vague quantifiers in mathematical fuzzy logic. FWF international project I1897. Principal Investigator: Christian Fermüller. Awarded jointly with a GAČR project led by Carles Noguera. 2014-2017.

Selected International Research Visits

  • November-December 2021 - University of Münster, Germany (host: Ralf Schindler).
     
  • November 2019 - Steklov Institute, Moscow, Russia (host: Lev Beklemishev).
     
  • May 2019 - Bristol University, Bristol, UK (host: Philip Welch).
     
  • August 2018 - Hausdorff Institute, Bonn, Germany (invitation within the thematic trimester on Types, Sets, and Constructions).
     
  • April 2018 - Hausdorff Institute, Bonn, Germany (invitation within the thematic trimester on Types, Sets, and Constructions).
     
  • May 2017 - Rutgers University, New Brunswick, USA (host: Grigor Sargsyan).
     
  • June 2016 - Université Paul Sabatier, Toulouse, France (host: David Fernández-Duque).

Co-Authors

  • Matthias Baaz.
  • Doug Blue.
  • Jan Bydžovský
  • David Fernández-Duque.
  • Anton Freund.
  • Robert Lubarsky.
  • Sandra Müller.
  • Fedor Pakhomov.
  • Michael Rathjen.
  • Philipp Schlicht.
  • Levent Ülkü.
  • Philip Welch.
  • Andreas Weiermann.

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, Journal of Symbolic Logic, Bulletin of Symbolic Logic, Review of Symbolic 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.

Research Articles

See Research.

Teaching

See Teaching.

Conferences and special sessions organized

  • Member of the organising committee for Computability in Europe 2021. Ghent University.
     
  • Special session on Proofs and Computation at CiE2021 (with David Fernández-Duque).

Tutorials

  • Pi12-Proof Theory. Proof Society Winter School. Madeira, December 2021.
     
  • The Axiom of Determinacy. Twelfth International Tbilisi Summer School in Logic and Language. Tbilisi, September 2016.

Talks

  • Open Determinacy versus Clopen Determinacy. Ghent Logic seminar. Ghent, December 2021.
     
  • The Pi12 Consequences of a Theory. Bristol Logic Seminar. Bristol, December 2021.
     
  • Indiscernibility Spectra. Münster Set Theory Seminar. Münster, December 2021.
     
  • Between the Finite and the Infinite. Studienpreis ceremony. Vienna, November 2021.
     
  • Determined Admissible Sets. Best paper award ceremony. Vienna, October 2021.
     
  • Real Determinacy in Admissible Sets. Caltech logic seminar. California, October 2021.
     
  • The Pi12-Soundness Spectrum. BIRS Conference: New Frontiers in Proofs and Computations. Hangzhou, September 2021.
     
  • The Pi12 Consequences of a Theory. International Workshop on Gödel's Incompleteness Theorems. Wuhan, August 2021.
     
  • Between the Finite and the Infinite. ESSLLI Beth Prize ceremony. Utrecht, July 2021.
     
  • The Löwenheim-Skolem theorem for Gödel Logic. Vienna Computational Logic seminar, April 2021.
     
  • G_delta,sigma Games of Length omega^2. Ghent-Leeds Seminar. Leeds, August 2020.
     
  • The Wadge Hierarchy. Ghent Logic and Analysis Seminar. Ghent, December 2019.
     
  • Determined Admissible Sets. Steklov Proof Theory seminar. Moscow, November 2019.
     
  • The Order of Reflection. Wormshop: Lustrum edition. Barcelona, November 2019.
     
  • Hyperarithmetic Reduction Properties. Workshop on Proof Theory and Automated Deduction. Funchal, October 2019.
     
  • Truth Beyond Zermelo-Fraenkel. Gödel's Legacy Conference. Vienna, July 2019.
     
  • F_sigma games of length omega^2. Bristol Logic Seminar. Bristol, May 2019.
     
  • Constructing winning strategies. ITAM Mathematics seminar. Mexico City, March 2019.
     
  • Games of length omega^2. 4th Arctic Set Theory workshop. Kilpisjärvi, January 2019.
     
  • The consistency strength of long projective determinacy. TU Wien Set Theory seminar. Vienna, January 2019.
     
  • Degrees of stability and Gandy Ordinals. 3rd FISP meeting. Vienna, December 2018.
     
  • Cut Elimination and infinite games. 1st Proof Society workshop. Ghent, September 2018.
     
  • (Omega-)Provably Delta_1 Games. First USA-Mexico Logic Fest. Mexico City, January 2018.
     
  • sigma-Projective Determinacy. CUNY Set Theory seminar. New York, November 2017.
     
  • Making Delta_1 Determined Again. 4th Münster conference on Inner Model Theory. Münster, July 2017.
     
  • The Infinite Epsilon Calculus. Mathematics-Computer Science Seminar of the University of Toulouse. Toulouse, June 2017.
     
  • The Infinite Epsilon Calculus. 2nd FISP Meeting. Paris, June 2017.
     
  • The Infinite Epsilon Calculus. Proof Theory: Herbrand's Theorem Revisited. Vienna, May 2017.
     
  • Some applications of Set Theory in Proof Theory. Third Arctic Set Theory Workshop. Kilpisjärvi, January 2017.
     
  • tbc. FISP Kick-off Meeting. Innsbruck, November 2016.
     
  • The Topological Completeness of GLP. Worm Seminar. Barcelona, September 2016.
     
  • The Topological Completeness of GLP_Lambda. Third International Wormshop. Tbilisi, September 2016.
     
  • Verification Logic: An Arithmetical Interpretation for Negative Introspection. AiML'16. Budapest, August 2016.
     
  • Cut Elimination for Gödel Logic with an Operator Adding a Constant. WoLLIC'16. Puebla, August 2016.
     
  • An arithmetic interpretation of negative introspection. CIPPMI workshop on Proofs, Justifications, and Certificates. Toulouse, June 2016.
     
  • The botanics of provability (and omega^omega other short stories). Winter School in Abstract Analysis. Hejnice, January 2016.
     
  • Models of provability logic. Lilac seminar. Toulouse, September 2015.

Cookie Policy

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

Accept & Close