| Name | Thema | Abschluss |
| Christian Friedrich Coors | Verification of Programs Generated from HDL for the Programmable Logic-In-Memory (PLiM) Architecture | Master |
| Pal Singh Davinder | Vergleich zwischen ausgewählten prä- und post-quantum Verschlüsselungsalgorithmen | Bachelor |
| Liz-Lilly Hahm | Entwicklung einer Softwarelösung zur Optimierung von Sportprozessen | Bachelor |
| Jan Kleinekathöfer | Formal Verification of Floating Point Adders in Polynomial Time | Master |
| Leon Klimasch | Verfahren zur automatisierten Generierung eines Digital Twins für die Berechnung der Goldenen LBIST Signatur | Master |
| Rune Krauss | Speichereffizienter Aufbau von binären Entscheidungsdiagrammen für Logiksynthese und Verifikation durch Ausnutzung von Ordnungseigenschaften | Master |
| Mathis Logemann | Design, Implementierung und Cross-level Verifikation eines SpinalHDL-basierten RISC-V Interrupt Controllers | Master |
| Jonas Lohmann | From Cells to Silicon: Design and Implementation of a Neuromorphic Processor Empowered with Reinforcement Learning | Bachelor |
| Nick Michalek | Design, Implementierung und Evaluation einer ESP32-basierten WiFi-Schnittstelle für die MicroRV32 RISC-V Plattform | Bachelor |
| Arbnor Miftari | Optische Fehleranalyse von autonomen Robotern durch holografische Projektionen | Bachelor |
| Arbnor Miftari | Development of New Software Tests for Robotic Motion Plans Through Mutation Testing | Master |
| David Möllmann | Entwurf und Umsetzung eines Demonstrators für Eingebettete Systeme für den Einsatz in der Lehre mit Hilfe von Simulations- und Modellbasierten Methoden | Bachelor |
| Karl Aaron Rudkowski | Interactive Modelling Platform for Projects with Embedded Devices | Bachelor |
| Lennart Ove Weingarten | Formaler Nachweis von Schaltkreisen auf Polynomiale Verifizierbarkeit | Master |
| Jan Zielasko | Visualization of Symbolic Execution 3D Visualization of Symbolic Program Execution-Traces Generated by Instrumentation of a RISC-V Virtual Prototype | Master |
in unserer Arbeitsgruppe hat es sich bewährt, dass Themen für Bachelor- und Masterarbeiten in einem persönlichen Gespräch erarbeitet werden.