Meine Forschungsinteressen liegen im Bereich des Entwurfs und der Verifikation von eingebetteter Systeme auf Systemebene. Derzeit befasse ich mich mit der Entwicklung simulativer Methoden zur Verifikation von System-On-Chip (SoC) auf abstrakter Entwurfsebene.