Talks

February 2026 The Slaman-Wehner Spectrum. Graduate Logic Seminar, University of Wisconsin–Madison. (Slides)

November 2025 How to Hide Your Isolated Types (And Other Applications of Marker Extensions). Graduate Logic Seminar, University of Wisconsin–Madison. (Slides)

April 2025 Degree Spectra for Classification Theory. The 25th Graduate Student Conference in Logic, University of Notre Dame.

April 2025 Theory spectra which cannot be the spectrum of any small theory. Logic Seminar, University of Wisconsin–Madison.

March 2025 Degree Spectra of Theories. Graduate Logic Seminar, University of Wisconsin–Madison.

November 2023 A Proof Theorist's Guide to First Aid: CUT-Elimination and Other Results of Classical Proof Theory. Graduate Logic Seminar, University of Wisconsin–Madison.