Meine Forschung beschäftigt sich mit der Zuverlässigkeit von eingebetteten Systemen. Ich untersuche neue Methoden, um die Zuverlässigkeit von Hardware und Software zu verbessern. Insbesondere untersuche ich, wie die Zuverlässigkeit auf Ebene der Architektur von eingebetteten Prozessoren und im Hardware-Software Co-Design berücksichtigt werden kann. Ein weiteres Thema ist die Synthese von Schaltkreisen aus High-Level-Beschreibungen.