Bisher habe ich mich mit heuristischen und exakten Optimierungsverfahren in der Logiksynthese befasst. Meine aktuellen Forschungsinteressen liegen in der Analyse und dem Debugging von Schaltkreisen. Konkreter bedeutet dies die automatische Fehlererkennung und -behebung.
Evaluating Debugging Algorithms from a Qualitative Perspective
Debugging hardware designs using dynamic dependency graphs
A Simulation Based Approach for Automated Feature Localization
Latency Analysis for Sequential Circuits