Welcome to my page

I am Associate Professor in computer science with a specialisation in the operational semantics of programming languages. Topics of interest include modular language specifications and implementations. Applications areas are automated legal reasoning in multi-domain systems and domain-specific languages for domains such as regulatory and legal, programmable networks, and software language engineering. I am tenured at the University of Amsterdam and situated in the Complex-Cyber Infrastructure research group of the Informatics Institute.

Here you can find publications, theses, research projects and various other resources.

The WordCloud has been generated from the PDFs of all my publications, using worldclouds.com

Highlights

• Journal paper published reflecting on 6+ years of eFLINT development. Available as open access article here: https://doi.org/10.1016/j.cola.2026.101411
• Check out this new webpage Haskell-omeLET, collecting Haskell language engineering libraries developed by my team at the UvA.
• Two papers at GPCE 2025:
  • A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios with Christopher Esterhuyse and Tim Müller.
  • P4DDG: Data-Dependent Grammars for Packet Specification and Parsing in P4 with Tommaso Pacciani, Damian Frölich, and Chrysa Papagianni.