(as principal investigator)
- Reflection Spectra: Predicative Mathematics and Beyond. FWF international grant I 4513-N. 2020-2024.
- Ordinal analysis of theories of determinacy. FWO postdoctoral fellowship 3E017319. 2019-2022.
- Generic Absoluteness. Fellowship funded by the Austrian Marshall Plan Foundation. Spring 2017.
(as co-investigator)
- New Concepts of Formal Proof and Proof Representation. FWF international grant I 4427 (Principal Investigator: Matthias Baaz).
- Proof Theory for Branching Quantifiers: CERES and Beyond. FWF grant P 31063 (Principal Investigator: Matthias Baaz).