Grants and Fellowships

---

(As principal investigator; brackets indicate the year the grant was awarded.)
 

• (2023) Determinacy in Second-Order Arithmetic.
  FWF grant P 36837 (418,193.30 EUR)
   
• (2023) Determinacy on the Edge of Analysis, II.
  APART-MINT program of the Austrian Academy of Sciences (38,500 EUR).
   
• (2022) Borel Determinacy from Proofs.
  FWF grant TAI-797 (128,573.55 EUR).
   
• (2022) Transfinite Blackwell Determinacy.
  Alexander von Humboldt Fellowship.
   
• (2022) Long Blackwell games.
  LMS Scheme 4 grant (with Benedikt Löwe).
    
• (2022) Determinacy on the Edge of Analysis.
  APART-MINT program of the Austrian Academy of Sciences (77,336 EUR).
   
• (2021) Strong Topological Completeness of Graded Consistency.
  Joint Excellence in Science and Humanities program of the Austrian Academy of Sciences.
   
• (2021) Second-Order Reflection on Ordinals.
  FWF grant ESP-3 (287,710.98 EUR)
   
• (2020) Reflection Spectra: Predicative Mathematics and Beyond.
  FWF grant I-4513 (304,668 EUR).
   
• (2019) Ordinal analysis of theories of determinacy.
  FWO postdoctoral fellowship 3E017319.
   
• (2017) Generic Absoluteness.
  Marshall Plan Fellowship.