| Name | Topic |
| Maximilian Eschert | Die Verifikation eines SystemC TLM Interrupt Controller für RISC-V basierend auf Fuzzing |
| Mahmoud Fakhouri | Maschinelles Lernen von Umgebungsmodellen für die formale Verifikation von Roboterplänen |
| Leon Klimasch | Betriebszustandserkennung von Geräten durch Auswertung von Beschleunigungssensordaten |
| Paul Amos Kreiner | Predictive Maintenance nichttechnischer Systeme auf Basis subjektiver Zustandseinschätzungen am Beispiel der Fahrzeugreinigung im Carsharing |
| Tom Schierenbeck | Entwicklung einer ROS-basierten Sonde zur Erkennung von Fischarten mit neuronalen Netzen |
| Till Schlechtweg | Gate-level Placement für Field-coupled Nanocomputing unter Berücksichtigung von Clocking Constraints |
| Martha Schnieber | SMT-based Analysis of Binarized Neural Networks |
| Jan Frederick Walther | esQUEape: Advanced binary bi-emulation to bridge the instruction screening performance gap |
