My CV is also available in PDF format here. A Dutch language version is available on my LinkedIn.

Education

MSc Computer Science – 2024 – Present

Utrecht University, Utrecht, Netherlands

Specialisation in Software Technology, specifically interested in languages and compilers.

  • Thesis: Towards a WasmGC backend and runtime for the MicroHs compiler
  • Relevant coursework: Program Semantics and Verification, Concepts of Programming Language Design, Language Based Security, Advanced Functional Programming.

BSc Computer Science – 2020 – 2024

HU University of Applied Sciences, Utrecht, Netherlands

Minor in Computer Science at Utrecht University (Computer Architecture, Functional Programming, Logic, and Languages & Compilers). Finished the degree with a 4.0 GPA (89/100).

Research Interests

  • Compiler Optimisations
  • Type Systems
  • Language Runtimes
  • Cross-language interoperability

Experience

Software Developer – Oct 2023 – Present

Digitect, Zaandijk, Netherlands

Worked/working on internal tooling and the flagship product EC-API-Design, a tool for modelling metadata and APIs based on it. Backend work in Golang and Java, frontend work in Typescript, React, and Theia.

Thesis Intern – Feb 2024 – Jun 2024

Digitect, Zaandijk, Netherlands

Worked on a thesis project to explore directions for a new version of EC-API-Design. Included work on Automatic/Hybrid Graph Drawing, compilers, modular IDEs, and system design.

Research and Development Intern – Feb 2023 - Jun 2023

Deloitte, Amsterdam, Netherlands

Researched and developed a tool for the automatic generation of API-led diagrams based on Mule4 source code. The tool included a parser and analyser for Mule4 projects, an IR for describing the structure of API-led diagrams, and a renderer for generating diagrams based on the IR. The tool was implemented in Java and used the Graphviz library for rendering.

Skills & Tools

Programming Languages: Haskell, Golang, Java, (Type/Java)script, Wasm, C, others I don’t actively use but am familiar with (e.g. Python, Rust, …)

Compiler/related Tooling: GHC, MicroHs, Wasm (and dialects), x86-64 asm

Miscellaneous: Spring Boot, Docker, Git, React, Theia, Graphviz, Latex

Minor Experience: Some experience with coq/rocq, but not comfortable listing it as a skill yet. Practicing with Agda as part of coursework.

Certifications

IELTS Academic 8.0 band – Issued Jan 2024

Publications

No publications yet, check back soon!