1. High forcing axioms compatible with the continuum large. In preparation.

2. Simultaneous strong failures of club guessing at \omega_1 and \omega_2. In preparation.

3. Exactly proper forcing. Joint with Monroe Eskew. In preparation.

4. Long strong chains of subsets of \omega_1. Joint with David Asperó. Submitted. Arxiv.

5. Forcing with symmetric systems of models of two types. Submitted. Arxiv.

You can find my PhD thesis here.

• Strong failures of club guessing at \omega_2. Leeds Set Theory Seminar, University of Leeds. April 29, 2026.

• Forcing with symmetric side conditions of models of two types. Research Seminar in Set Theory of the KGRC, University of Vienna. June 26, 2025. 

• High forcing axioms compatible with the continuum large. Barcelona Set Theory Seminar, University of Barcelona. January 8, 2025.

• Current trends in set theory. UEA pure maths seminar, Norwich, UK. May 14, 2024.

• Strong chains of subsets of \omega_1 of length \omega_3. Winter School in Abstract Analysis, Hejnice, Czech Republic. January 28, 2024. 

• High analogs of Martin's Axiom and combinatorics on \omega_2. PhDs in Logic XIV, University of Granada. October 5, 2023. (Talk and poster)

• Infinite games and determinacy. Big Talks, University of East Anglia. May 5, 2023.

• Forcing with matrices of models of two types. Set Theory in the UK 9, Cambridge. March 7, 2023.

• Forcing Axioms. MTH Research Day, University of East Anglia. January 16, 2023.

• Forcing Axioms. Big Talks, University of East Anglia. May 10, 2022.

• Forcing. MTH Research Day, Univeristy of East Anglia. January 17, 2022.

• The Ultrafilter Number. Leeds Set Theory Seminar, University of Leeds. March 3, 2021.