Welcome to my page

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.
• Three papers presented at SPLASH 2024:
  • Cooperative Specification via Composition Control [Preprint] (SLE2024)
  • On the Soundness of Auto-completion Services for Dynamically Typed Languages [Preprint] (GPCE2024)
  • Bridging Incremental Programming and Complex Software Development Environments. [Preprint] (PAINT2024)
• 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.