Mein Tätigkeitsbereich ist die Zeitanalyse von digitalen Schaltungen mit dem Schwerpunkt der effizienten Identifizierung der Stimulierbarkeit von Pfaden, bzw. der effizienten Erkennung von falschen Pfaden.
Für den praktischen Einsatz sind dafür Ansätze erforderlich, die auf formalen Methoden aufsetzen, welche eine hohe Robustheit versprechen. Diese werden von mir untersucht bzw. entwickelt.