Posts by Collection

Portfolio item number 1

Short description of portfolio item number 1

Portfolio item number 2

Short description of portfolio item number 2

Examples and cofibrant generation of effective Kan fibrations

Published in Journal of Pure and Applied Algebra, 2024

I wrote my master’s thesis under the supervision of Benno van den Berg. We adapted it and published it here.

A Foundation for Synthetic Stone Duality

Published in Post-proceedings of TYPES 2024, 2025

Together with Felix Cherubini, Thierry Coquand and Hugo Moeneclaey, I worked on a system called “Synthetic Stone Duality”. We presented this work at TYPES 2024, and published our first article on it here.

Light Condensed Types

Published: March 13, 2024

I participated in the Workshop on Synthetic Algebraic Geometry in 2024. My talk there was recorded and can be found on youtube.

Synthetic Stone duality

Published: April 16, 2026

I was invited to participate in the Homotopy Type Theory Electronic Seminar Talks. The talk was recorded and can be found on youtube.

Teaching experience 1

Undergraduate course, University 1, Department, 2014

This is a description of a teaching experience. You can use markdown like any other post.

Teaching experience 2

Workshop, University 1, Department, 2015

This is a description of a teaching experience. You can use markdown like any other post.