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.

• (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. 

• 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.
   

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

• (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. 

• Current: Martina Ianella (TU Wien, from September 2023), Leonardo Pacheco (TU Wien, from April 2023)
   
• Past: Jan Bydžovský (TU Wien, 2022–2023).

• PhD: Grigorii Stepanov (TU Wien, since 2022). Thibaut Kouptchinsky (TU Wien, from August 2023).
   
• Master's: Ferre Vanden Kerchove (UGent 2021), Ben de Smet (UGent 2021), Thibaut Kouptchinsky (UCLouvain 2023).

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

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

Journals: Proceedings of the American 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.

See Research.

See Teaching.

• March 2023 - Bristol University (host: Philip Welch).
   
• October 2022 - University of Barcelona (host: Joan Bagaria).
   
• November-December 2021 - University of Münster (host: Ralf Schindler).
   
• November 2019 - Steklov Institute, Moscow (host: Lev Beklemishev).
   
• May 2019 - Bristol University (host: Philip Welch).
   
• August 2018 - Hausdorff Institute, Bonn (thematic trimester on Types, Sets, and Constructions).
   
• April 2018 - Hausdorff Institute (thematic trimester on Types, Sets, and Constructions).
   
• May 2017 - Rutgers University, (host: Grigor Sargsyan).
   
• June 2016 - Université Paul Sabatier, Toulouse (host: David Fernández-Duque).

• David Fernandez-Duque (CAS Prague and UGent). November 2022.
   
• Tristan Bompard (Paris). September 2022.
   
• Martín Soto (Barcelona). August 2022.
   
• Philip Welch (Bristol). August 2022.
   
• David Fernández-Duque (UGent). April 2019.

• 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).

• 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.

• TBA. British Logic Colloquium. Bristol, September 2023.
   
• Non-linearities in the analytical hierarchy. Set Theory in the UK. Cambridge, March 2023.
   
• Winning strategies for Borel games. Arctic Set Theory Workshop. Kilpisjärvi, February 2023.
    
• Non-linearities in the analytical hierarchy. Leeds Logic Seminar. February 2023.  
    
• Pi12 Proof Theory. Warsaw Logic Seminar. January 2023.  
   
• The Pi12 Soundness Ordinal. Trends in Proof Theory. Ghent. January 2023.
   
• Determinacy in Second-Order Arithmetic. Ghent Logic Seminar. Ghent, November 2022.
   
• Proof Theory of Pi12-Unsound Theories. Proof Society Worshop. Utrecht, November 2022.
   
• Determinacy on the Edge of Second-Order Arithmetic. Barcelona Set Theory Seminar. Barcelona, October 2022.
   
• Sigma-Projective Sets, Cut Elimination, and Woodin Cardinals. Colloquium Logicum. Konstanz, September 2022.
   
• The Pi12-Spectrum Conjecture. Special Session on Proof Theory at the Logic Colloquium. Reykjavik, June 2022.
   
• The Metamathematics of Pi12 Sentences. Logic Colloquium at the University of Vienna. Vienna, June 2022.
   
• 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.
  
  
  

• British Logic Colloquium. Bristol (September 2023).
    
• Set Theory in the UK. Cambridge (March 2023).
   
• 6th Arctic Set Theory Workshop (February 2023).
     
• Trends in Proof Theory 2023. Ghent (January 2023).
  
• CaDProBI Workshop. Hamburg (January 2023).
   
• Proof Society Workshop. Utrecht (November 2022).
   
• Colloquium Logicum. Konstanz (September 2022).
   
• ESI Set Theory Conference. Vienna (July 2022).
   
• Logic Colloquium 2022. Reykjavik (June 2022).
   
• Proof Society Winter School. Madeira (November--December 2021).
   
• Tag der Mathematik. Vienna (November 2021).
   
• BIRS workshop on New Frontiers on Proofs and Computation. Hangzhou (September 2021).
   
• International workshop on Gödel's incompleteness theorems. Wuhan (August 2021).
   
• 32nd European Summer School on Logic, Language, and Information. Utrecht University (August 2021).
   
• Computability in Europe. Ghent University (July 2021).
   
• Wormshop: Lustrum edition. Barcelona (November 2019).
   
• Workshop on Proof Theory and Automated Deduction. Funchal (September 2019).
   
• Kurt Gödel's Legacy Conference. Vienna (July 2019).
   
• Rutgers Core Model Induction Workshop (June 2019).
   
• Fourth Arctic Set Theory Workshop (January 2019).
   
• 3rd FISP Meeting (December 2018).
   
• Set Theory today: a conference in honor of Georg Cantor. Vienna (September 2018).
   
• 1st Proof Society Workshop. Ghent (September 2018).
   
• Summer School of the Proof Society. Ghent (September 2018).
   
• Workshop on Constructive Mathematics. Bonn (August 2018).
   
• 1st Girona conference on Inner Model Theory. Girona (July 2018).
   
• Summer School on Proofs, Types, and Constructions. Bonn (May 2018).
   
• First USA-Mexico Logic Fest. Mexico City (January 2018).
   
• First International Summer School for Proof Theory in First-Order Logic. Funchal (August 2017).
   
• Set Theory Conference on the Occasion of Ronald Jensen's 80th Birthday. Münster (August 2017).
   
• 4th Münster Conference on Inner Model Theory. Münster (July-August 2017).
   
• 6th European Set Theory Conference. Budapest (July 2017).
   
• Proof Theory: Herbrand's Theorem Revisited. Vienna (May 2017).
   
• Very Informal Gathering of Logicians 2017. Los Angeles (February 2017).
   
• Third Arctic Set Theory Workshop. Kilpisjärvi (January 2017).
   
• FISP Kick-off Meeting. Innsbruck (November 2016).
   
• Workshop on the Set-Theoretical Aspects of the Model Theory of Strong Logics. Barcelona (September 2016).
   
• Advanced Course on Strong Logics and Large Cardinals. Barcelona (September 2016).
   
• Twelfth International Tbilisi Summer School in Logic and Language. Tbilisi (September 2016).
   
• Third International Wormshop. Tbilisi (September 2016).
   
• 11th Conference on Advances in Modal Logic. Budapest (August 2016).
   
• 23rd Workshop on Logic, Language, Information, and Computation. Puebla (August 2016).
   
• 1st Irvine Conference on Descriptive Inner Model Theory and Hod Mice. Irvine (July 2016).
   
• IMS Graduate Summer School in Logic. Singapore (July 2016).
   
• Thematic trimester on the Current Issues in the Philosophy of Practice of Mathematics and Informatics. Toulouse (April--June 2016).
   
• Winter School in Abstract Analysis. Hejnice (February 2016).
   
• The Role of the Higher Infinite in Mathematics and Other Disciplines. University of Cambridge (December 2015).
   
• 5th European Set Theory Conference. University of Cambridge (August 2015).
   
• 27th European Summer School on Logic, Language, and Information. Universitat Pompeu Fabra (August 2015).
   
• Hilbert-Bernays Summer School on Logic and Computation. University of Göttingen (July 2015).
   
• Primer Congreso Nacional de Filosofía e Historia de la Lógica y las Matemáticas. Mexico (February 2015).
   
• Proof Theory, Modal Logic, and Reflection Principles. México (September 2014).
   
• 26th European Summer School on Logic, Language, and Information. Universität Tübingen (August 2014).
   
• Individuals and Indeterminacy. Perspectives in Contemporary Ontology. University of Bamberg (July 2014).
   
• Asymptotic Analisis in General Relativity. University of Grenoble (June 2014).