About Me

I’m a MSc student at the Radboud university in Nijmegen. Soon I will be starting a PhD at the University of Edinburgh under the supervision of Sam Lindley. My research interests are mostly related to Programming Languages, such as effect handlers, type systems, program verification and functional programming. For more details you can check my CV.

Projects

• Haffel Formalisation of a typed language with effect handlers.
• SPL compiler A small compiler for a simple higher-order language.
• WebFuzz A fuzzer for web applications.