| Name | Topic |
| Arman Allahyari-Abhari | Exakte Synthese minimaler NCV-|v1>-Quantenschaltkreise |
| Andrej Fast | Verbesserung der Fehlertoleranz von ANSI-C Programmen durch Simulation und genetische Algorithmen |
| Tobias Koehler | Vergleich von formalen Methoden zur Fehlerlokalisierung in Software |
| Nils Przigoda | Algorithmen von Quantencomputern und Anwendung von Boolescher Erfüllbarkeit im Entwurf |
| Abirami Puvanendran | Testgetriebener Systementwurf auf Basis von SysML Modellen |
| Matthias Schilmann | Optimierung von Tiefenkosten auf reversibler Ebene |
| Kenneth Schmitz | Simultane Testmustergenerierung für Mehrfach Einzelfehler mittels Pseudo-Boolescher Optimierung zur Erzeugung kompakter Testmengen |
| Karl Trzebiatowski | Automatisierung eines Zuweisungssystems für die Lehramtausbildung |
| Aljoscha Windhorst | Entwurf und Implementierung eines C-Beweisers für die funktionale Abdeckungsanalyse |
| Mathäus Wojt | Fehlerdiagnose reversibler Schaltungen unter Ausnutzung von Verfahren für den Online Test |
