CV
Education
- B.S. in Mathematics, University of Antwerp, 2019
- M.S. in Fundamental Mathematics, University of Antwerp, 2021
- Ph.D in Computer Science, Delft University of Technology, 2026 (expected)
Research activities
- (PC membership) 7th International Conference on Applied Category Theory
Publications
Talks
Rezk Completions For (Elementary) Topoi
Talk at 31th International Conference on Types for Proofs and Programs, Glaslow, Scotland
From Realizability To Univalent Completions
Talk at Delft University of Technology, Programming Languages Seminar, Delft, Netherlands
Rezk completion for topoi
Talk at Dutch Categories and Types Seminar, Utrecht, Netherlands
Formal Theory of Rezk completions
Talk at Workshop on Homotopy Type Theory/Univalent Foundations, Santiago De Compostela, Spain
A formal study of the Rezk completion
Talk at 30th International Conference on Types for Proofs and Programs, Copenhagen, Denmark
A formal treatment of univalent completions
Talk at Workshop on Homotopy Type Theory/Univalent Foundations, Leuven, Belgium
An introduction to proof assistants
Talk at Delft University of Technology, PhD seminar of Delft Institute of Applied Mathematics, Delft, Netherlands
Towards a homotopy theory of univalent category theory
Talk at University of San Diego, Categories and Type Theory Seminar, San Diego, United States
Formalizing Monoidal Categories and Actions for Syntax with Binders
Talk at The Ninth International Workshop on Coq for Programming Languages, Boston, Massachusetts, United States
Rezk completion of bicategories
Talk at Workshop on Homotopy Type Theory/Univalent Foundations, Vienna, Austria
Rezk completions
Talk at Dutch Categories and Types Seminar, Delft, Netherlands
A Library of Monoidal Categories for Display and Univalence
Talk at Workshop on Homotopy Type Theory/Univalent Foundations, Haifi, Israel
Case Study on Displayed Monoidal Categories
Talk at TYPES22, Nantes, France
An introduction to Initial Algebra Semantics
Talk at Delft University of Technology, Programming Languages Seminar, Delft, Netherlands
Introduction to Type Theory: Another foundation of mathematics
Talk at University of Antwerp, Antwerp Algebra Colloquium, Antwerp, Belgium
Elementary topoi as categorical models of set theory
Talk at University of Antwerp, Antwerp Algebra Colloquium, Antwerp, Belgium