In our working group, it has proven successfully that interesting topics for Bachelor's and Master's
theses are worked out in a personal dialogue. Thus, we do not offer a fixed list of predefined topics.| All | Bachelor | Master | Diploma |
| 2025 |
 |
|
|
| 2024 |
|
|
|
| 2023 |
|
|
|
| 2022 |
|
|
|
| 2021 |
|
|
|
| 2020 |
|
|
|
| 2019 |
|
|
|
| 2018 |
|
|
|
| 2017 |
|
|
|
| 2016 |
|
|
|
| 2015 |
|
|
|
| 2014 |
|
|
|
| 2013 |
|
|
|
| 2012 |
|
|
|
| 2011 | |
|
|
| 2010 | |
|
|
| 2009 | |
|
|
| 2008 | |
||
| 2007 | |
||
| 2006 | |
||
| 2005 | |
| Name | Topic | Year |
| Luca Müller | Exploring Polynomial Formal Verification with Parametrized Complexity of the Boolean Satisfiability Problem | 2025 |
| Caroline Dominik | Embedding Sequential Circuits for their Polynomial Formal Verification | 2024 |
| Marcel Franzen | A GPT-Enhanced Systematic Mapping Study on Evolutionary Computing | 2024 |
| Jan Patrick Heine | Der Einfluss von Backbone-Architekturen auf eine merkmalsbasierte Motiverkennung zur automatisierten Optimierung von Bilddatensätzen für Deep Neural Networks | 2024 |
| Jeremy Hutapea | Design and Verification of a Configurable PWM Peripheral in RTL using SpinalHDL | 2024 |
| Karl Aaron Rudkowski | Verification of SystemC RTL Peripherals using Symbolic Execution | 2024 |
| Kristoffer Weller | Visualization of Symbolic Execution Combining 2D and 3D Techniques to Visualize Symbolic Program Execution-Traces | 2024 |
| Fawad Ahmed | Erweiterung und Evaluation von Kodierungen des All-Different-Constraints in SAT | 2023 |
| Fabian Lukas Blanken | Implementierung und Verifikation eines Anmeldevorgangs für eine Java Webanwendung | 2023 |
| Christian Friedrich Coors | Verification of Programs Generated from HDL for the Programmable Logic-In-Memory (PLiM) Architecture | 2022 |
| Jan Kleinekathöfer | Formal Verification of Floating Point Adders in Polynomial Time | 2022 |
| Leon Klimasch | Verfahren zur automatisierten Generierung eines Digital Twins für die Berechnung der Goldenen LBIST Signatur | 2022 |
| Rune Krauss | Speichereffizienter Aufbau von binären Entscheidungsdiagrammen für Logiksynthese und Verifikation durch Ausnutzung von Ordnungseigenschaften | 2022 |
| Mathis Logemann | Design, Implementierung und Cross-level Verifikation eines SpinalHDL-basierten RISC-V Interrupt Controllers | 2022 |
| Arbnor Miftari | Development of New Software Tests for Robotic Motion Plans Through Mutation Testing | 2022 |
| Lennart Ove Weingarten | Formaler Nachweis von Schaltkreisen auf Polynomiale Verifizierbarkeit | 2022 |
| Jan Zielasko | Visualization of Symbolic Execution 3D Visualization of Symbolic Program Execution-Traces Generated by Instrumentation of a RISC-V Virtual Prototype | 2022 |
| Milan Funck | Design, Implementierung und Evaluierung einer RISC-V Prozessorerweiterung auf VP Ebene | 2021 |
| Marcel Merten | Entwicklung eines Hardware-basierten Evolutionären Algorithmus unter Verwendung von Mehrzieloptimierung zur Robustheitssteigerung sequentieller Schaltkreise | 2021 |
| Martha Schnieber | Polynomial Formal Verification of Approximate Functions | 2021 |
| Sallar Ahmadi-Pour | MicroRV32 - Eine SpinalHDL basierte RISC-V RV32I_Zicsr Implementierung für die Nutzung auf einem Field Programmable Gate Array | 2020 |
| Christoph Kellermann | Effizienzerhöhung des Fine-Tunings nach dem Prunen von Convolutional Neural Networks | 2020 |
| Matthias von Rüden | Optimierung einer RISC-V Simulation mit Just-in-Time Kompilierung | 2020 |
| Gösta Brünjes | Probabilistic Topic Modeling for Industrial Documents | 2019 |
| Igor Kazhdan | Entwurf und Simulation von QCA-Schaltungen auf Gatterebene | 2019 |
| Maximilian Lünert | Optimization of biochip escape routing algorithms and integration into KiCAD | 2019 |
| Jonas Wloka | Development of an Optimized GPU-based Implementation of the Elliptic Curve Factorization Method | 2019 |
| Hauke Edeler | Lösung komplexer DMFB-Routenprobleme per Reinforcement Learning | 2018 |
| Stefan Hillmich | Graph-Based Analysis of Growth Patterns in the True Slime Mold Physarum polycephalum | 2018 |
| Bruns Niklas | Erkennung von Hardware-Trojanern in SystemC HLS Modellen durch Coverage-getriebenes Fuzzing | 2018 |
| Tom Vincent Peters | Mastering the game of Dots and Boxes with deep neural networks and tree search | 2018 |
| Kevin Leonhard Schneider | Improving the Heuristics for One-Pass-Synthesis of Digital Microfluidic Biochips | 2018 |
| Malte Christian Struck | Ein Service-Discovery-Protokoll für Netze heterogener Sensoreinheiten | 2018 |
| Jil Tietjen | Symbolische Ausführung eines RISC-V-Prozessors | 2018 |
| Lars Schmertmann | Analyse von SHA256 mit Hilfe von CryptoMiniSat | 2017 |
| Dan Sörgel | Generierung von UVM-SystemC Testumgebungen unter Verwendung von Testfalltransformation | 2017 |
| Eike Behrends | Detektion von Abhängigkeiten zwischen User Stories mittels NLP | 2016 |
| Ronald Smith Djomkam Yotedje | Generic Information Extraction Using Triple-Store Databases | 2016 |
| Max Benjamin Nitze | Constraint-based Test-Data Generation | 2016 |
| Carsten Schiefelbein | Entwurf einer drahtlosen Schnittstelle für die Onboard-Kommunikation am Beispiel des Kompaktsatelliten Eu:CROPIS | 2016 |
| Alexander T. Lange | Konzeptentwurf einer ereignisbasierten Steuerung für Raumfahrzeuge | 2015 |
| Maxime Djao Mola | Optimierung von Quantenschaltungen für Nearest Neighbor Architekturen | 2015 |
| Katrin Thielmann | Hardware-in-the-loop-Testen von Satelliten-on-Board-Komponenten: Design und Implementierung eines Testframeworks | 2015 |
| Clemens Werther | Allgemeine Probleme der Handlungsreise Ablaufplanung unter Realbedingungen | 2015 |
| Xiao Gao | Charakterisierung der Fehler von Eingebetteten Systemen | 2014 |
| Murat Göksu | Entwurf und Implementierung einer zur Laufzeit konfigurierbaren Logging-Komponente für Satelliten | 2014 |
| Vladimir Herdt | Complete Symbolic Simulation of SystemC Models | 2014 |
| Sebastian Huhn | Verwendung strukturellen Wissens in formalen Beweistechniken zur Beschleunigung der Testgenerierung | 2014 |
| Bastian Blachetta | SystemC-Synthese aus SysML-Modellen | 2012 |
| Christoph Hilken | Verifikation dynamischer Aspekte in SysML Modellen | 2012 |
| Christian Otterstedt | Optimierung von Quantenschaltkreisen mit Hilfe von Multiple Target Toffoli Gattern | 2012 |
| Wanja Schöpfer | Modellbasiertes Hardware-Software Codesign für eine Therapiefunktion in einem Intensivbeatmungsgerät | 2012 |
| Markus Groß | Automatische kontrollflussbasierte Programm–Synthese mithilfe formaler Methoden | 2011 |