Welcome to my page

I am Associate Professor focused on the general area of Software Engineering and specialised in Software Language Engineering and Formal Specifications. Topics of interest include automating legal reasoning in multi-domain systems and developing domain-specific languages for various domains such as legal, programmable networks, and software language engineering. I am tenured at the University of Amsterdam 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

• 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.