Ich interessiere mich für die Verifikation von komplexen heterogenen Systemen. Mein aktuelles Ziel ist es, das Vertrauen in die High-Level-Verifikation von SystemC AMS-Modellen zu erhöhen, indem ich Äquivalenz zwischen SystemC AMS-Repräsentationen und Low-Level-Repräsentationen heterogener Systeme zeige.