Ich forsche im Rahmen des Graduiertenkollegs CAUSE an der Erklärbarkeit von digitalen Systemen. Hierbei fokussiere ich mich auf den Entwurf von Hardware mithilfe von Virtuellen Prototypen. Diesen für Systeme mit der Fähigkeit zur Selbsterklärbarkeit zu erweitern, erfordert eine Analyse der benötigten Informationen und deren Repräsentation. Ich beschäftige mich außerdem mit der formalen Verifikation der erzeugten Erklärungen.