« zurück

Erfolgreiche Verteidigung der Dissertation

Dr. Finn Haedicke

Dr. Finn Haedicke hat seine Promotion „High-Quality Hardware Design and Verification using Word-Level Satisfiability Techniques“ erfolgreich verteidigt.

In seiner Promotion verfolgte Herr Dr. Finn Haedicke das Ziel den Schaltkreisentwurf mit Hilfe formaler Methoden zu verbessern. Dafür entwickelte er das Werkzeug metaSMT, welches die einfache Integration von SAT/SMT-Beweisern mit Hilfe einer domänenspezifischen Sprache erlaubt. Darauf aufbauend verbesserte er verschiedene Problemstellungen, wie z.B. formale Synthese, Constrained Random Verification und das Überdeckungsproblem bei der formalen Eigenschaftsprüfung.

Wir gratulieren!