**2019**

**Invited seminar talk:***Level-by-level v***irtual large cardinals**Talk at the set theory seminar at the City University of New York.

**Reading seminar talk:**Talk for a group of set theory PhDs at Rutgers University.*fine structure*

**2018**

**Set theory reading seminar talks:**Weekly seminar talks on the basics of forcing for new set theory PhDs at Bristol uni.*Forcing*

**Mingle talk:***Playing games until the end of time*Talk at our welcome conference Mingle for new Maths PhDs at Bristol uni.

**Contributed talk:***Games and**Ramsey-like cardinals –**slides*

Talk at Set Theory Today, Kurt Gödel Research Center, Vienna.**Reading seminar talks:**Several blackboard talks in our Münster-Bristol reading seminar on John Steel’s “Normalizing iteration trees and comparing iteration strategies”.*Normalizing iteration trees*

**Contributed talk:***Game-theoretic**Ramsey-like cardinals*

Talk at the first Girona conference on inner model theory, University of Girona.**Two Minute Talk:***The universal definition –**notes*Quick talk for all the Maths PhDs at Bristol uni.

**Pure Postgraduate Seminar talk:***Why should we care about independence?*–*notes*A talk for all the pure Maths PhDs at Bristol uni.

**2017**

**Invited talk:***Mapping the**Ramsey-like cardinals*–*blog post*

Talk at the Logic Seminar at the University of Bonn.**Contributed talk:***Jónsson cardinals — a deceptive large cardinal axiom*–*blog post**• notes*• slides

Talk at the British Logic Colloquium, University of Sussex.**Seminar talk:***Sheaves and schemes*–*notes (part one and two)**notes (part three)*Three blackboard talks on sheaves and schemes for a handful of Maths PhDs at Bristol uni.

**Two Minute Talk:***The Skolem paradox*–*slides*Quick talk for all the Maths PhDs at Bristol uni.

**Reading seminar talks:**Multiple blackboard talks on the core model induction for the set theorists at Bristol uni.*The Core Model Induction*

**2016
**

**Pure Postgraduate Seminar talk:***Inner model theory*–*slides*A talk for all the pure Maths PhDs at Bristol uni.

**Reading seminar talk:***-absoluteness via genericity iterations*

A blackboard talk for the set theorists at Bristol uni.**Seminar talk:***Determinacy*–*slides*A talk for a dozen philosophers (staff, PhD- and MA students).

**Reading seminar talk:**A blackboard talk for the set theorists at Bristol uni.*Iteration trees*

**MSc defense:***Inner model theory*–*slides*

A 45 minute thesis defense, for about 50 BSc/MSc/PhD students (and examiners).**Invited general audience talk:***Incompleteness in mathematics*–*slides*This was an invited talk arranged by the Danish Youth Association of Science, about 80 high school students attended.

**Seminar talk:**A blackboard talk for a handful of MSc students.*Epistemic logic*

**Seminar talk:**A blackboard talk for a handful of MSc students.*Non-standard analysis*

**Student colloquium talk:***Truth*–*slides*

A talk in a philosophical/logical setting, for about 50 Bsc/MSc students.

**2015**

**Seminar talk:***Model categories –**notes*

A blackboard talk for about the ~15 algebraic topology PhD students and my adviser for a reading course I did on model categories, where this acted as the assessment.**Seminar talk:**A blackboard talk on my determinacy project for a dozen MSc/PhD students.*Determinacy*

**Seminar talk:**A blackboard talk for a handful of MSc students.*Simplicial sets*

**2014**

**Student colloquium:***Homotopy type theory*–*slides (part one)*&*slides (part two)*

A talk joint with a fellow MSc student, for about 30 BSc/MSc/PhD students.**Seminar talk:**A blackboard talk for a handful of MSc students.*Covering spaces*

**BSc thesis defense:***Gödel’s constructible universe*–*slides*A thesis defense, for about 30 BSc/MSc students (and examiners).

**Seminar talk:**A talk for a handful of BSc/MSc/PhD students.*A short introduction to**Gödel’s constructible universe*

**2013**

**Student colloquium:***Model theory*–*slides*A talk for about 30 BSc/MSc students.