HOME | KONTAKT

Logo Universität Bremen
LOGO AGRA | AG Rechnerarchitektur



Arbeitsgruppe Rechnerarchitektur / AGRA | Informatik | FB03 | Universität Bremen

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!
10-05-2016


Erfolgreiche Verteidigung der Dissertation


©2023 | AG Rechnerarchitektur | Kontakt | Impressum & Datenschutz