Werk & links
Mijn werk als enterprise architect, mijn publicaties en andere plekken op het web waar je meer over mij vindt.
Een overzicht van mijn opleiding(en), werkervaring, extracurriculaire activiteiten en publicaties vind je op mijn ORCID-pagina, mijn Google Scholar-profiel en LinkedIn.
Ik ben bestuurslid van de vereniging Formal Methods Europe. Daarnaast ben ik sinds 2013 “General Chair” van de jaarlijkse conferentie FormaliSE. Tot 2015 was ik betrokken bij het open-source project Overture.
Mijn reisverslagen vanaf eind 2017 schrijf ik op mijn reisblog bij Pindat. Ze staan inmiddels ook allemaal hier op de site, met foto’s en reacties: zie Reizen.
In 2001 was ik de mol in het bekende TV-programma Wie is de Mol, dat tegenwoordig met bekende Nederlanders (BN-ers) wordt gemaakt, maar in de eerste vier jaar nog niet. Ik was dus “de mol” in seizoen #2.



