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

*Vienna University of Technology*, since 2015.

*Ghent University,*since 2019 (currently on leave).

*University of Hamburg*. Visiting Researcher (2023).

*University of Cambridge*. Visiting By-Fellow (2023).

*Rutgers University.*Visiting Scholar (2017).

*Harvard University.*Visiting Fellow (2017).

- 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)
*Determinacy on the Edge of Analysis*.

APART-MINT program of the Austrian Academy of Sciences (70,000 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.

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

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.

Postdocs: Jan Bydžovský (since 2022).

Masters students: Ferre Vanden Kerchove (UGent 2021), Ben de Smet (UGent 2021).

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

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

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

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