| Name | Topic |
| Stephan Eggersglüß | Testmustergenerierung für Pfadverzögerungsfehler für industrielle Schaltkreise auf Basis des Erfüllbarkeitsproblems
Ausgezeichnet als beste Abschlussarbeit des Jahrgangs |
| Christian Genz | Analyse und Visualisierung von SystemC-Spezifikationen |
| Marcin Grden | Überdeckungsmaße in der formalen Hardware Verifikation |
| Michael Klemm | Testmusterkompaktierung mit Genetischen Algorithmen |
| Ulrich Kühne | Modellierung und Verifikation eines RISC Prozessors
Ausgezeichnet mit dem Bremer Studienpreis 2006 |
| André Steinkamp | Heuristik Lernen auf der Basis Genetischer Programmierung für das Graphenfärbeproblem |
| Andre Sülflow | Über die Anwendung der Mehrzieloptimierung in der Erstellung von Dienstplänen im Krankenhaus |
| Tim Warode | Strukturelles Lernen in der erfüllbarkeits-basierten Testmustergenerierung |
| Robert Wille | Erstellung von Free Binary Decision Diagrams mit SAT-Beweisern |
