**2017**

**Contributed talk on Jónsson cardinals –***blog post**• notes*• slides

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

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

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

**2016
**

**Seminar talk on inner model theory –***slides*A one hour talk for ~15 pure Maths PhDs at Bristol uni.

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

A two hour blackboard talk for the set theorists at Bristol uni.**Seminar talk on determinacy –***slides*A one hour talk for about ten philosophers (faculty, PhD- and MA students).

**Reading seminar talk on iteration trees**A one hour blackboard talk for the set theorists at Bristol uni.

**MSc defense on inner model theory –***slides*

The defense took 45 minutes, about 50 BSc/MSc/PhD students attended (and examiners).**General audience talk on Gödel’s incompleteness theorems –***slides*This was an invited one hour talk arranged by the Danish Youth Association of Science, about 80 high school students attended.

**Seminar talk on epistemic logic**A one hour blackboard talk for about five MSc students.

**Seminar talk on non-standard analysis**A two hour blackboard talk for about five MSc students.

**Student colloquium talk on truth –***slides*

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

**2015**

**Seminar talk on model categories**A one hour blackboard talk for about 15 PhD students and the supervisor for a reading course I did on model categories, where this acted as the assessment.

**Seminar talk on determinacy**A two hour blackboard talk on my determinacy project for about ten MSc/PhD students.

**Seminar talk on simplicial sets**A two hour blackboard talk for about five MSc students.

**2014**

**Student colloquium on homotopy type theory –***slides (part one)*&*slides (part two)*

A two hour talk joint with a fellow MSc student, for about 30 BSc/MSc/PhD students.**Seminar talk on covering spaces**A two hour blackboard talk for about five MSc students.

**BSc thesis defense on Gödel’s constructible universe –***slides*The defense took half an hour, about 30 BSc/MSc students attended (and examiners).

**Seminar talk on Gödel’s constructible universe**A one hour talk for about five BSc/MSc/PhD students.

**2013**

**Student colloquium on model theory –***slides*A one hour talk for about 30 BSc/MSc students.