Onderzoeksgroep
Expertise
Mijn belangrijkste onderzoeksinteresse is System/Software Engineering met de nadruk op V&V-technieken, systeemmodellering/-ontwerp en formele methoden. Ik heb met name ervaring met het toepassen van formele redeneringstechnieken, voornamelijk modelchecking, om UML/SysML-gedragsmodellen te verifiëren. Ik ben ook geïnteresseerd in aspecten van modelbeheer, zoals het beter opslaan, opvragen en verifiëren van modelartefacten, rekening houdend met de workflows in het systeemontwikkelingsproces.