Talks
- 24-10-2025 - Total Functions for Automated Reasoning:Building Terminating Theorem Provers @ LambdaWorld’25 (video)
- 09-04-2024 - Fearless programming and reasoning with infinities @ FP Madrid
- 03-11-2023 - Programming and Proving with Guarded Recursion @ PSSV’23 (video)
- 19-10-2022 - Languages all the way down @ FP Madrid