| Name | Topic | Abschluss |
| Fabian Lukas Blanken | Fail-Operational-System für semiautonome zivile Multicopter-Drohnen | Bachelor |
| Caroline Dominik | Bestimmung polynomieller Schranken für die formale Verifikation symmetrischer Schaltungen | Bachelor |
| Marcel Franzen | Implementierung einer automatischen Transformierung multilingualer Spracheingaben in Datenbankabfragen | Bachelor |
| Milan Funck | Design, Implementierung und Evaluierung einer RISC-V Prozessorerweiterung auf VP Ebene | Master |
| Jan Hensel | RoboSim A Multi-Agent System Simulator Based on a RISC-V Virtual Prototype | Bachelor |
| Philipp Johag | RoboSim A Multi-Agent System Simulator Based on a RISC-V Virtual Prototype | Bachelor |
| Gregor Kuhn | Design Understanding für Quantum-dot Cellular Automata Layouts | Bachelor |
| Vinh Kien Luc | Autoencoder for dimension reduction of data in empirical asset pricing model | Bachelor |
| Marcel Merten | Entwicklung eines Hardware-basierten Evolutionären Algorithmus unter Verwendung von Mehrzieloptimierung zur Robustheitssteigerung sequentieller Schaltkreise | Master |
| Luca Müller | Co-Simulation-Based Verification of a Register-Transfer Level RISC-V Implementation in Reference to a Virtual Prototype | Bachelor |
| Martha Schnieber | Polynomial Formal Verification of Approximate Functions | Master |
| Daniel Staack | Fehlerfindung in robotischen Plänen mittels Fuzzing | Bachelor |
