| Name | Thema | Abschluss |
| Mehmet Bagatir | Illustrative Implementierung von Quantenalgorithmen | Bachelor |
| Tino Flenker | Wörterbuchgenerierung für die Lokalisierung von Verzögerungsfehlern in Logikschaltungen | Diplom |
| Xiao Gao | Charakterisierung der Fehler von Eingebetteten Systemen | Master |
| Murat Göksu | Entwurf und Implementierung einer zur Laufzeit konfigurierbaren Logging-Komponente für Satelliten | Master |
| Amatulwaseh Hayat | Analyse von strukturell monotonen reversiblen Schaltkreisen | Diplom |
| Vladimir Herdt | Complete Symbolic Simulation of SystemC Models | Master |
| Sebastian Huhn | Verwendung strukturellen Wissens in formalen Beweistechniken zur Beschleunigung der Testgenerierung | Master |
| Philipp Kastner | Vergleich evolutionärer Algorithmen zur Stimuli-Generierung für SystemC-Designs | Diplom |
| Tobias Kortkamp | An NLP Assistant for Clide | Bachelor |
| Alexander Kröker | Synthese von digitalen mikrofluidischen Biochips mit dynamisch wachsendem Grid | Bachelor |
| Max Benjamin Nitze | Automatisches Ergänzen von Klassendiagrammen mittels Informationsextraktion | Bachelor |
| Juan Albert Hugo Prinzhorn Mendia | Verifikation von Bedingungen im C++ | Diplom |
| Andree Rebers | WLAN-ferngesteuertes Modellauto auf Basis des Raspberry Pi | Bachelor |
| Tim Rühenbeck | Automatische Analyse und Verifikation von AIS-Daten | Bachelor |
| Frerk Steen | Fehlertolerante drahtlose Kommunikation an Bord des Gossamer I-Satelliten | Bachelor |
in unserer Arbeitsgruppe hat es sich bewährt, dass Themen für Bachelor- und Masterarbeiten in einem persönlichen Gespräch erarbeitet werden.