Education

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

• Fall 2017 - Visiting Scholar, Rutgers University.
• Spring 2017 - Visiting Fellow, Harvard University.

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

(as principal investigator)

• Reflection Spectra: Predicative Mathematics and Beyond. FWF international grant I 4513-N. 2020-2025.
• Ordinal analysis of theories of determinacy. FWO postdoctoral fellowship 3E017319. 2019-2022.
• Generic Absoluteness. Marshall Plan Fellowship. 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).

• E. W. Dissertation Beth Prize 2020. Awarded by the Association for Logic, Language, and Information to the most outstanding PhD dissertation in Logic.
• Sotero Prieto Prize 2016. Awarded by the Mexican Mathematical Society to the most outstanding undergraduate thesis in Mathematics.
• ExITAM Prize 2016. Awarded by ITAM to the most outstanding thesis in Applied Mathematics.

• Matthias Baaz.
• Doug Blue.
• Jan Bydžovský
• David Fernández-Duque.
• Anton Freund.
• Robert Lubarsky.
• Sandra Müller.
• Michael Rathjen.
• Philipp Schlicht.
• Levent Ülkü.
• Philip Welch.
• Andreas Weiermann.

See Research.

See Teaching.

• The Axiom of Determinacy. Twelfth International Tbilisi Summer School in Logic and Language. Tbilisi, September, 2016.

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