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

News

• Three papers to be 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.