Onderzoeksgroep
Expertise
Zijn interessegebieden zijn modelgebaseerde verificatie en validatie van zowel software- als hardwaresystemen, modelgebaseerd testen en mutatietesten. Hij werkt momenteel aan modelgebaseerde ideale testmethoden om zowel de aan- als afwezigheid van specifieke fouten in software- en hardwaresystemen aan te tonen op basis van holistisch testen (positief en negatief testen (aka fuzz-testen)) en mutatietesten. Hij is ook wetenschappelijk onderzoeker bij het EFFECTS-project om mutatietesten van Simulink-modellen in de industriële omgeving te integreren en bij het door de EU gefinancierde INNO2MARE-project om digitale tweelingen voor maritieme systemen te modelleren en te testen.