|
Home « Lehre « Abschlussarbeiten
 |
Liebe Interessentinnen und liebe Interessenten,
in unseren Arbeitsgruppen hat es sich bewährt, dass Bachelor-, Master- und Diplomarbeitsthemen
in einem Gespräch erarbeitet werden.
Feste Themen geben wir für gewöhnlich nicht vor
und bieten daher an, sich persönlich, telefonisch oder per Email
zu melden.
Mit freundlichen Grüßen
Prof. Dr. Rolf Drechsler &
Prof. Dr. Görschwin Fey
|
Wählen Sie nun aus, welche Arbeiten Sie einsehen möchten:
Diplom 2011
| Name | Thema |
| Melanie Diepenbeck | SAT-basierte Fehlererkennung auf Basis des Sigle Stuck-At Fehlermodells |
| Norman Gülcü | Einbetten irreversibler Funktionen mit Hilfe evolutionärer Algorithmen |
| Sebastian Jauert | Formale Robustheitsprüfung komplexer Systeme - Steigerung der Effizienz durch Nutzung hierarchischer Zusammenhänge |
| Markus Möhrke | Exakte Synthese von NAND-Schaltungen mit Erfüllbarkeitsbeweisern |
|
Im Bereich ' Team', bzw. ' Alumni' können Sie
einsehen, wer von den Absolventen im Anschluss weiter in der Gruppe geblieben ist, bzw. bereits den Doktortitel erlangt hat.
|
|
