Mein Forschungsinteresse sind praktikable Lösungen für die Verifikation von Hardwaredesigns, zum Beispiel mithilfe von symbolischer Ausführung.
Im Rahmen des Forschungsprojektes Scale4Edge fokussiere ich mich dabei aktuell auf die besonderen Herausforderungen, die Entwürfe von Peripheriegeräten mit sich bringen.
Comparing Methods for the Cross-Level Verification of SystemC Peripherals with Symbolic Execution