Talks
- Lean: Cuando las matemáticas y la tecnología se unen
December, 2025 · Talk at Universidad Nacional Mayor de San Marcos, Peru · Slides (in Spanish)
- Dependent two-sided fibrations for directed type theory
June, 2025 · 31st International Conference on Types for Proofs and Programs (TYPES 2025) · Slides Abstract
- Towards a fully functorial directed type theory
February 7, 2025 · DutchCATS meeting in Nijmegen · Slides
- A directed homotopy type theory for 1-categories
June 14, 2024 · 30th International Conference on Types for Proofs and Programs (TYPES 2024) · Slides Abstract
Other activities
- Mini-course: Formalizando Matemáticas en Lean · Organizer and lecturer
11, 12, 15 and 16 of December, 2025 · Instituto de Matemática y Ciencias Afines (IMCA) · Course Material (in Spanish)
- Summerschool: Formalising Mathematics in Lean 2025 · Coorganizer and lecturer
21-25 July, 2025 · Utrecht University · Course Material
Master's Thesis
Teoría Homotópica de Tipos. Master's thesis, Universidad Nacional Mayor de San Marcos, 2023. Pdf Agda Code