Grants, Fellowships, and Funding
As principal investigator
- Proofs Beyond the Transfinite.
FWF grant STA-139 (1.2M EUR), 2024–2029.
- Determinacy in Second-Order Arithmetic.
FWF grant P 36837 (418,193.30 EUR), 2023–2027.
- Determinacy on the Edge of Analysis, II.
APART-MINT program of the Austrian Academy of Sciences (38,500 EUR), 2023.
- Borel Determinacy from Proofs.
FWF grant TAI-797 (128,573.55 EUR), 2022–2024.
- Transfinite Blackwell Determinacy.
Alexander von Humboldt Fellowship, 2022–2023.
- Determinacy on the Edge of Analysis.
APART-MINT program of the Austrian Academy of Sciences (77,336 EUR), 2022–2023.
- Strong Topological Completeness of Graded Consistency.
Joint Excellence in Science and Humanities program of the Austrian Academy of Sciences, 2024.
- Second-Order Reflection on Ordinals.
FWF grant ESP-3 (287,710.98 EUR), 2021–2027.
- Reflection Spectra: Predicative Mathematics and Beyond.
FWF grant I-4513 (304,668 EUR), 2020–2023. Awarded jointly with FWO grant G030620N (Flemish partner: Andreas Weiermann).
- Ordinal analysis of theories of determinacy.
FWO postdoctoral fellowship 3E017319, 2019–2023.
- Generic Absoluteness.
Marshall Plan Fellowship, 2017.
As co-applicant
- Thematic program "Reverse Mathematics" at the Erwin Schrödinger Institute in Vienna (with N. Greenberg, D. Hirschfeldt, and L. Westrick). June–August 2025 (60,000 EUR).
- Long Blackwell games.
LMS Scheme 4 grant (with Benedikt Löwe), 2023.
As scientist in charge
- Interplay betwen modal logic and set theory: the modal logic of inner models.
OeAD Ernst Mach visiting grant (PI: Fernando Barrera), 2025.
- Proof Theory for Higher Pointclasses.
OeAD Ernst Mach visiting grant (PI: Hanul Jeon), 2025.