Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
portfolio
Portfolio item number 1
Short description of portfolio item number 1
Portfolio item number 2
Short description of portfolio item number 2
publications
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.
talks
Light Condensed Types
Published:
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:
I was invited to participate in the Homotopy Type Theory Electronic Seminar Talks. The talk was recorded and can be found on youtube.
teaching
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.