Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Service « Aktuelles


» 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!


Erfassungsdatum: 10.05.2016 | Nr. 276





English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt