# 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.