2DFTs as a Functor

November 22 2023, Swansea University, Advanced Topics in Logic Seminar

Two-Way Reversible Transducers as Functors

April 4 2024, University of Bath, British Colloquium for Theoretical Computer Science

Implicit automata in λ-calculi III: affine planar string-to-string functions

June 10 2024, Swansea University, CS Theory Seminar

Implicit automata in λ-calculi III: affine planar string-to-string functions (Video)

June 20 2024, University of Oxford, Mathematical Foundations of Programming Semantics

Weihrauch Reducibility as a Lens (Lightning Talk)

September 19 2024, Fischbachau, Proof and Computation 24

What are Categories? Sheaves? (Impromptu Talk with other Attendees)

September 20 2024, Fischbachau, Proof and Computation 24

Weihrauch Problems as Containers (Lightning Talk)

April 10 2025, University of Sheffield, Midlands Graduate School 2025