CV
Personal Profile
I am a reliable person and a 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 as an arithmetic geometer and I have a broad interest that stretches from category theory and proof assistants to number theory.
Education
| | |
|---|
| 2020-02 - 2023-11 | MSc Computer Science |
| University | Delft University of Technology |
| Track | Software Technology |
| Thesis | Understanding and formalizing the paper Classical lambda calculus in modern dress |
| | |
|---|
| 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
| | |
|---|
| Windows, Linux | I have a dual boot setup on my laptop. |
| 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. |
| Coq, Lean | I worked with these proof assistants for the summer school, a university course and especially my thesis (coq). |
| HTML, CSS, JavaScript, Python, Java, C#, … | I have worked with a variety of languages for hobby projects, study and work. |
| Dutch | Dutch is my native language. |
| English | My proficiency in English is between level C1 and C2. |
Professional Memberships
I was a member of the \textbf{Royal Dutch Mathematical Society} (Koninklijk Wiskundig Genootschap) from 2020 till 2023.
