| Name | Topic | Abschluss |
| Bastian Blachetta | SystemC-Synthese aus SysML-Modellen | Master |
| Pavel Dimitrov | Autonomous Track Control Systems for Trains | Diplom |
| Vladimir Herdt | Nachweis von Zusicherungen für SystemC Modelle mithilfe symbolischer Simulation | Bachelor |
| Christoph Hilken | Verifikation dynamischer Aspekte in SysML Modellen | Master |
| Sebastian Huhn | Entwurf eines generischen multifunktionalen 868 MHz Funkempfängermoduls auf Basis eines Mikrocontrollers | Bachelor |
| Eugen Kuksa | Generierung von OCL-Ausdrücken aus eingeschränkt natürlichsprachlichen Beschreibungen | Bachelor |
| Christian Otterstedt | Optimierung von Quantenschaltkreisen mit Hilfe von Multiple Target Toffoli Gattern | Master |
| Eleonora Schönborn | Optimierung der Synthese von reversiblen Schaltkreisen mit Hardwarebeschreibungssprachen | Diplom |
| Wanja Schöpfer | Modellbasiertes Hardware-Software Codesign für eine Therapiefunktion in einem Intensivbeatmungsgerät | Master |
| Julia Seiter | Property Checking of Quantum Circuits | Diplom |
| Clemens Werther | Eine Multiprozessorarchitektur mit Kommunikation über Nachrichtenaustausch | Bachelor |
| Fereshta Yazdani | Einbettung reversibler Logik in SystemC | Diplom |
