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