Mein Forschungsfeld ist die formale Verifikation von komplexen Schaltkreisen sowie die Komplexitätsanalyse des Verifikationsprozesses. Verschiedene Ansätze ermöglichen eine effiziente Verifikation von bestimmten Schaltkreistypen. Das Ziel meiner Arbeit ist zu beweisen, dass spezielle Schaltkreise sich mit einer gegebenen Methode effizient verifizieren lassen und neue Techniken für bisher nicht effizient verifizierbare Schaltkreise einzuführen.