I’m actively looking for a PhD position on the topic of programming languages, compilers, or related areas. If you know of any opportunities or would like to discuss potential collaboration, please get in touch!

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!