About

I'm currently working as a Formal Methods Engineer at Input Output. I'm part of the Midnight project, where I'm involved with all things formal methods, but mostly working on formally specifying the semantics of smart contracts.

Before that, I was 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. During my PhD, I was a member of the Programming Languages Group.