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
Elementary topoi as categorical models of set theory
Talk at University of Antwerp, Antwerp Algebra Colloquium, Antwerp, Belgium
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
Case Study on Displayed Monoidal Categories
Talk at TYPES22, Nantes, France
A Library of Monoidal Categories for Display and Univalence
Talk at Workshop on Homotopy Type Theory/Univalent Foundations, Haifi, Israel
Rezk completions
Talk at Dutch Categories and Types Seminar, Delft, Netherlands
Rezk completion of bicategories
Talk at Workshop on Homotopy Type Theory/Univalent Foundations, Vienna, Austria
Towards a homotopy theory of univalent category theory
Talk at University of San Diego, Categories and Type Theory Seminar, San Diego, United States
An introduction to proof assistants
Talk at Delft University of Technology, PhD seminar of Delft Institute of Applied Mathematics, Delft, Netherlands
A formal treatment of univalent completions
Talk at Workshop on Homotopy Type Theory/Univalent Foundations, Leuven, Belgium