CV
Personal Profile
I am a reliable person and a hard-working team player. I am a curious person, who is eager to learn. I am a mathematician through and through; always thinking about puzzles. Specifically, I have been educated in category theory, type theory and arithmetic geometry and I have a broad interest that stretches between and around these areas.
Education
| | |
|---|
| 2020-02 - 2024-12 | MSc Computer Science |
| University | Delft University of Technology |
| Track | Software Technology |
| Thesis | Universal Algebra, Univalent Foundations and the Untyped λ-Calculus |
| | |
|---|
| 2018-09 - 2023-02 | MSc Mathematics |
| University | Leiden University |
| Track | Algebra, Geometry and Number Theory |
| Thesis | Strong Approximation for a Family of Quadratic Surfaces |
| | |
|---|
| 2022-07 | Summer School on Univalent Mathematics |
| Organisation | Scuola Matematica Interuniversitaria (SMI) |
| | |
|---|
| 2015-09 - 2018-07 | BSc Computer Science |
| University | Delft University of Technology |
| | |
|---|
| 2015-09 - 2018-07 | BSc Mathematics |
| University | Delft University of Technology |
| Thesis | Hoe centrale groepsuitbreidingen ontstaan uit oppervlaktes van driehoeken |
| | (How central group extensions arise from the notion of area of triangles) |
| Additional courses | Vakdidactiek Wiskunde, Didactische vaardigheden, Orienterende stage, Onderwijskunde |
Experience
| | |
|---|
| 2021-07 - 2022-06 | Treasurer |
| | Board year |
| Organisation | E.S.V. Ichthus Leiden |
| Main responsibilities | Managing finances, managing some committees, representation towards the PKvV, |
| | general board member duties |
| What I learned/improved | Bookkeeping, assertiveness, social skills, working in a team |
| | |
|---|
| 2018-08 - 2021-08 | Software Engineer |
| Organisation | Onlinekabelshop |
| Main responsibilities | Developing and maintaining all kinds of back-end systems that supported |
| | or improved daily operations |
| What I learned/improved | Working in a team, technical skills related to web development |
| | |
|---|
| 2016-11 - 2017-03 | Teaching Assistant |
| University | Delft University of Technology |
| Courses | Introduction to Programming (Mathematics) |
| | Computer Networks (Computer Science) |
| Main responsibilities | Assisting students with and grading them on the practical assignments |
| What I learned/improved | Working with students |
Skills
| | |
|---|
| Coq, Lean | I formalized large parts of my master’s thesis in the rocq proof assistant, and have worked with both rocq and lean for university courses and hobby projects. |
| Sagemath | I worked a lot with sage during my master’s thesis. |
| LaTeX | I have worked extensively with LaTeX over the course of my bachelor’s and master’s programs. |
| HTML, CSS, JavaScript, Python, Java, C#, … | I have worked with a variety of languages for hobby projects, study and work. |
| Windows, Linux | I have a dual boot setup on my laptop. |
| Dutch | Dutch is my native language. |
| English | My proficiency in English is between level C1 and C2. |
Professional Memberships
I have been a member of the UniMath Coordinating Committee since April 2025.
I was a member of the Royal Dutch Mathematical Society (Koninklijk Wiskundig Genootschap) between 2020 and 2023.
