I’m currently a PhD candidate at TU Delft working on composable, safe-by-construction programming language definitions. I did both my Bachelor’s and Master’s in Computer Science at Utrecht University. My research interests include but are not limited to: programming languages and semantics, functional programming and dependent types.

I’m a member of the Programming Languages Group, which is part of the Software Technology Department.