Talks and presentations

Program Calculation with Hylomorphisms in Rocq
Seminar
Upcoming
[slides] [LaTeX source]

Calculating Correct and Efficient Programs in Rocq
Seminar
Upcoming
[slides] [LaTeX source]

A Synthetic Reconstruction of Multiparty Session Types
PLAS Group Talk @ University of Kent
19 January 2026
[slides] [LaTeX source]

Towards A Synthetic Formulation of Multiparty Session Types
PLAS Group Talk @ University of Kent
10 December 2024
[slides] [LaTeX source]

Mechanising Recursion Schemes with Magic-Free Coq Extraction
Online Seminar @ Tallinn University
2 May 2024
[slides] [LaTeX source]

Mechanising Recursion Schemes with Magic-Free Coq Extraction
PLAS Seminar @ University of Kent
8 April 2024
[slides]