- Ph.D. Mathematics
Between the Finite and the Infinite
Advisor: Matthias Baaz.
Second (external) advisor: W. Hugh Woodin.
- B.Sc. Applied Mathematics.
Uncountable Topological Interpretations of Provability Logic
Advisor: David Fernández-Duque.
- High school diploma.
Fall 2018- Fall 2019
- Visiting Student, University of Vienna.
- Visiting Scholar, Rutgers University.
Spring 2017 -
Visiting Fellow, Harvard University.
Selected International Research Visits
November 2019 -
Steklov Institute, Moscow, Russia (host: Lev Beklemishev).
- Bristol University, Bristol, UK (host: Philip Welch).
- Hausdorff Institute, Bonn, Germany (invitation within the thematic trimester on Types, Sets, and Constructions).
- Rutgers University, New Brunswick, USA (host: Grigor Sargsyan).
- Université Paul Sabatier, Toulouse, France (host: David Fernández-Duque).
Grants and Fellowships
Reflection Spectra: Predicative Mathematics and Beyond.
FWF international grant I 4513-N, co-funded by the FWO. Headed by J.P. Aguilera on the FWF side and A. Weiermann on the FWO side. 2020-2024.
Ordinal analysis of theories of determinacy.
FWO postdoctoral fellowship. 2019-2022.
Fellowship funded by the Austrian Marshall Plan Foundation. Spring 2017.
2020. Awarded by the Association for Logic, Language, and Information to the most outstanding PhD thesis in Logic.
Sotero Prieto Prize
2016. Awarded by the Mexican Mathematical Society to the most outstanding undergraduate thesis in Mathematics.
The Axiom of Determinacy. Twelfth International Tbilisi Summer School in Logic and Language. Tbilisi, September, 2016.
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.