Welcome to my page

Profile Shot Wordcloud

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

  • 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.
  • The first version of the AMdEX reference architecture has been published.
  • The University of Amsterdam is part of a consortium building AMdEX – a neutral, non-commercial, digital infrastructure enabling the safe and controlled exchange of data under the conditions specified by data onwers, data subjects and data consumers. For more information, read the press release (Dutch) or visit amdex.eu.