| Name | Thema | Abschluss |
| Arman Allahyari-Abhari | Exakte Synthese minimaler NCV-|v1>-Quantenschaltkreise | Diplom |
| Luka Dschaak | Ermittlung der optimalen Ausbeute: Was gibt mein Kühlschrank wirklich her? | Bachelor |
| Andrej Fast | Verbesserung der Fehlertoleranz von ANSI-C Programmen durch Simulation und genetische Algorithmen | Diplom |
| Torben Hansing | Modellgetriebene Simulation von Microcontrollersystemen | Bachelor |
| Sascha Hestermann | Hardwarebeschleunigung eines Erfüllbarkeitsbeweisers | Bachelor |
| Tobias Koehler | Vergleich von formalen Methoden zur Fehlerlokalisierung in Software | Diplom |
| Niklas Krafczyk | Automatische Integration von Hardware-Modulen auf Register-Transfer-Ebene | Bachelor |
| Aaron Frederick Lye | Optimization of Quantum Circuits for Linear Nearest Neighbor Architectures | Bachelor |
| Ali Mohammadzadeh | Synthese reversibler Funktionen mithilfe des Zauberwürfels | Bachelor |
| Marc Niehaus | Comparing UML Models to Natural Language Specifications | Bachelor |
| Lennart Pleuß | Entwicklung einer domänenspezifischen Sprache und eines Editors auf Basis von Xtext zur Erstellung von GUI-Modellen | Bachelor |
| Nils Przigoda | Algorithmen von Quantencomputern und Anwendung von Boolescher Erfüllbarkeit im Entwurf | Diplom |
| Abirami Puvanendran | Testgetriebener Systementwurf auf Basis von SysML Modellen | Diplom |
| Matthias Schilmann | Optimierung von Tiefenkosten auf reversibler Ebene | Diplom |
| Kenneth Schmitz | Simultane Testmustergenerierung für Mehrfach Einzelfehler mittels Pseudo-Boolescher Optimierung zur Erzeugung kompakter Testmengen | Diplom |
| Karl Trzebiatowski | Automatisierung eines Zuweisungssystems für die Lehramtausbildung | Diplom |
| Aljoscha Windhorst | Entwurf und Implementierung eines C-Beweisers für die funktionale Abdeckungsanalyse | Diplom |
| Mathäus Wojt | Fehlerdiagnose reversibler Schaltungen unter Ausnutzung von Verfahren für den Online Test | Diplom |
in unserer Arbeitsgruppe hat es sich bewährt, dass Themen für Bachelor- und Masterarbeiten in einem persönlichen Gespräch erarbeitet werden.