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 |
| Johann Arfmann-Knübel | Design and Evaluation of Reconfiguration Algorithms for Pivoting Cube-Shaped Robots | 2025 |
| Marvin Hindmarsh | Effiziente Implementierung von Kronecker Funktionalen Entscheidungsdiagrammen | 2025 |
| Nele Hugo | Automation of Polynomial Formal Verification with Large Language Models | 2025 |
| Marius Marach | Bildkompression mit Algebraischen Entscheidungsdiagrammen | 2025 |
| Lauren Paul | Explainable Game Policies: A Case Study with 2048 | 2025 |
| Jonas Schramm | Eine effiziente Repräsentation der Addition von Gleitkommazahlen mit Entscheidungsdiagrammen | 2025 |
| Sena Ilkbahar | Synthetische Generierung von Testdatensätzen für die forensische Datensicherung - Verbesserung der Effizienz und Handhabung von Verifizierungsmethoden | 2024 |
| Alireza Vakili | Pipelined RISC-V Processor using High-level Synthesis | 2024 |
| Muhammed Ali Yildiz | Wie verhalten sich verschiedene Optimierungsverfahren auf Benchmarkfunktionen am Beispiel von Hill Climbing, Simulated Annealing und evolutionären Algorithmen | 2024 |
| Torben Ebermann | HyPA: Ein hybrides PTX Analyse Programm für die Design Space Exploration von GPGPU Applikationen | 2023 |
| Nils Friedrichs | SystemC Benchmark for High-Level Synthesis (SC-HLS) | 2023 |
| Jonas Geschonke | Automatisierte Visualisierung von Daten in einer Web-Applikation auf Basis explorativer Datenanalyse | 2023 |
| Steffen Janßen | Güte- und effizienzbasierte Performanz unterschiedlicher bio-inspirierter Verfahren auf klassischen Optimierungsproblemen | 2023 |
| Wilhelm Jochim | Supporting Bluetooth Low Energy Keyboards in Environments without a Bluetooth Stack | 2023 |
| Kateryna Sieraia | Polynomial Formal Verification of a Generalized Conditional Sum Adder | 2023 |
| Pal Singh Davinder | Vergleich zwischen ausgewählten prä- und post-quantum Verschlüsselungsalgorithmen | 2022 |
| Liz-Lilly Hahm | Entwicklung einer Softwarelösung zur Optimierung von Sportprozessen | 2022 |
| Jonas Lohmann | From Cells to Silicon: Design and Implementation of a Neuromorphic Processor Empowered with Reinforcement Learning | 2022 |
| Nick Michalek | Design, Implementierung und Evaluation einer ESP32-basierten WiFi-Schnittstelle für die MicroRV32 RISC-V Plattform | 2022 |
| Arbnor Miftari | Optische Fehleranalyse von autonomen Robotern durch holografische Projektionen | 2022 |
| 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 | 2022 |
| Karl Aaron Rudkowski | Interactive Modelling Platform for Projects with Embedded Devices | 2022 |
| Fabian Lukas Blanken | Fail-Operational-System für semiautonome zivile Multicopter-Drohnen | 2021 |
| Caroline Dominik | Bestimmung polynomieller Schranken für die formale Verifikation symmetrischer Schaltungen | 2021 |
| Marcel Franzen | Implementierung einer automatischen Transformierung multilingualer Spracheingaben in Datenbankabfragen | 2021 |
| Jan Hensel | RoboSim A Multi-Agent System Simulator Based on a RISC-V Virtual Prototype | 2021 |
| Philipp Johag | RoboSim A Multi-Agent System Simulator Based on a RISC-V Virtual Prototype | 2021 |
| Gregor Kuhn | Design Understanding für Quantum-dot Cellular Automata Layouts | 2021 |
| Vinh Kien Luc | Autoencoder for dimension reduction of data in empirical asset pricing model | 2021 |
| Luca Müller | Co-Simulation-Based Verification of a Register-Transfer Level RISC-V Implementation in Reference to a Virtual Prototype | 2021 |
| Daniel Staack | Fehlerfindung in robotischen Plänen mittels Fuzzing | 2021 |
| Maximilian Eschert | Die Verifikation eines SystemC TLM Interrupt Controller für RISC-V basierend auf Fuzzing | 2020 |
| Mahmoud Fakhouri | Maschinelles Lernen von Umgebungsmodellen für die formale Verifikation von Roboterplänen | 2020 |
| Leon Klimasch | Betriebszustandserkennung von Geräten durch Auswertung von Beschleunigungssensordaten | 2020 |
| Paul Amos Kreiner | Predictive Maintenance nichttechnischer Systeme auf Basis subjektiver Zustandseinschätzungen am Beispiel der Fahrzeugreinigung im Carsharing | 2020 |
| Tom Schierenbeck | Entwicklung einer ROS-basierten Sonde zur Erkennung von Fischarten mit neuronalen Netzen | 2020 |
| Till Schlechtweg | Gate-level Placement für Field-coupled Nanocomputing unter Berücksichtigung von Clocking Constraints | 2020 |
| Martha Schnieber | SMT-based Analysis of Binarized Neural Networks | 2020 |
| Jan Frederick Walther | esQUEape: Advanced binary bi-emulation to bridge the instruction screening performance gap | 2020 |
| Christian Friedrich Coors | Approximate Computing für Neuronale Netze in selbstfahrenden Autos | 2019 |
| Hakan Köksal | Automatisierte Fehlerdetektion in GUI-Applikationen mittels Fuzzing | 2019 |
| Carmen Naber | Konzeptionierung und Umsetzung eines adaptiven mobilen Learning-Content-Management-Systems für Schulen | 2019 |
| Jan Zielasko | Modellierung und Validierung eines 64-bit RISC-V Virtuellen Prototypen basierend auf SystemC | 2019 |
| Mert Arat | Robustheit von konvolutionalen neuronalen Netzen für Bilderkennung im Automotive Bereich | 2018 |
| Niels Jeurissen | Robustheit von Methoden zur Bilderkennung am Beispiel von Straßen bei schlechter Witterungsbedingung | 2018 |
| Philipp Kiener | Designing a communication protocol for realtime manipulation of digital microfluidic biochips | 2018 |
| Lucas Klemmer | Implementierung eines flexiblen H.264/AVC Baseline Decoder IP Cores auf Basis eines ASIC Designs | 2018 |
| Rune Krauß | Effiziente Implementierung von Binären Entscheidungsdiagrammen | 2018 |
| Marcel Merten | Entwicklung eines konvolutionalen, rekurrenten Neuronalen Netzes zur codewort-basierten Datenkompression | 2018 |
| Jurij Schmidt | Evaluationsgestützte Überwachung von Befehlssequenzen mittels isolierter Ausführung | 2018 |
| Jan von Bargen | Heuristisches IDS zur präventiven Detektion von rowhammer-typischen Systemangriffen | 2018 |
| Martin Afelt | Comparing Different Array Representations in SMT2 | 2017 |
| Christoph Bäck | Heuristische Kompaktierung einer Testmenge | 2017 |
| Nico Heller | Optimierte Übersetzung einer Spiele DSL nach Java | 2017 |
| Maximilian Lünert | StackADrop: A versatile Biochip | 2017 |
| Henri Leopold Siakeu Feussom | Evaluation von Entscheidungsverfahren zur Erkennung von Verkehrsschildern auf mobilen Android-Geräten | 2017 |
| Julian Stoick | Entwicklung eines kamerabasierten Fahrerassistenzsystems mit virtuellen Prototypen | 2017 |
| Niklas Bruns | Agentenbasierte Coverage-getriebene Verifikation von SystemC-Modellen | 2016 |
| Hauke Edeler | Kuhhandel-Strategien in einer stochastischen, dynamischen und kompetitiven Mehrspielerumgebung mit partiell imperfekter Information | 2016 |
| Igor Kazhdan | Das Flow-Routing-Problem von Programmable Microfluidic Devices mithilfe des Generic Problem Solvers | 2016 |
| Schneider Kevin Leonard | Alternative area division methods for exact routing on digital microfluidic biochips | 2016 |
| Patrick Kleinermann | Zeitsynchrone Erfassung seismischer Sensordaten | 2016 |
| Timo Kohorst | Hardwareparallelität, moderne CPU-Instruktionen und effiziente Datenhaltung in Backupsoftware ausnutzen | 2016 |
| Pascal Pieper | Umgebung für automatisierte Tests von Dateisystemen auf NAND-Flash | 2016 |
| Jil Tietjen | Untersuchung verschiedener Kodierungen von speziellen Cardinality Constraints für SAT | 2016 |
| Tobias Böhnisch | Operationsbasierte einstufige Synthese von Digital Microfluidic Biochips | 2015 |
| Steven Bösel | Verschaltung und Programmierung eines Field Programmable Gate Arrays zur Digitalisierung, Steuerung und Überwachung einer analogen Modelleisenbahn | 2015 |
| Carina Harrius | Exploiting Design for Testability for Fault Diagnosis in Reversible Circuits | 2015 |
| Stefan Hillmich | Analyse beliebiger Spielsituationen des Kartenspiels Skat mit Hilfe Boolescher Erfüllbarkeit und Bitvektorlogik | 2015 |
| Hannes Mau | Unidirektionaler Datenaustausch mittels Zweileitertechnik | 2015 |
| Tim Meywerk | Neue Strategieansätze für Stratego-Bots | 2015 |
| Tom Vincent Peters | Implementierung und Vergleich von Computergegnern für Käsekästchen | 2015 |
| Janosch Reinking | Design und Entwicklung einer Kameraschnittstelle nach dem Packet Utilisation Standard | 2015 |
| Rhea C. Rinaldo | Entwicklung und Auswertung der Telemetrie/Telekommando-Schnittstelle einer Logging-Komponente für Satelliten | 2015 |
| Jöran Schlömer | Automatische Generierung formaler Eigenschaften aus Hardwarebeschreibungssprachen | 2015 |
| Michael A. Schulze | The development of an autonomous data-capture system for use in the service module of the XCOR Lynx suborbital spaceplane, in the drop tower, and in other microgravity platforms | 2015 |
| Hubert Fred Tchambo | Emotion based Lyric Classification with Natural Language Processing | 2015 |
| Marcel Walter | Optimierung von Quantenschaltkreisen durch lokale Umordnung von Qubits | 2015 |
| Mehmet Bagatir | Illustrative Implementierung von Quantenalgorithmen | 2014 |
| Tobias Kortkamp | An NLP Assistant for Clide | 2014 |
| Alexander Kröker | Synthese von digitalen mikrofluidischen Biochips mit dynamisch wachsendem Grid | 2014 |
| Max Benjamin Nitze | Automatisches Ergänzen von Klassendiagrammen mittels Informationsextraktion | 2014 |
| Andree Rebers | WLAN-ferngesteuertes Modellauto auf Basis des Raspberry Pi | 2014 |
| Tim Rühenbeck | Automatische Analyse und Verifikation von AIS-Daten | 2014 |
| Frerk Steen | Fehlertolerante drahtlose Kommunikation an Bord des Gossamer I-Satelliten | 2014 |
| Luka Dschaak | Ermittlung der optimalen Ausbeute: Was gibt mein Kühlschrank wirklich her? | 2013 |
| Torben Hansing | Modellgetriebene Simulation von Microcontrollersystemen | 2013 |
| Sascha Hestermann | Hardwarebeschleunigung eines Erfüllbarkeitsbeweisers | 2013 |
| Niklas Krafczyk | Automatische Integration von Hardware-Modulen auf Register-Transfer-Ebene | 2013 |
| Aaron Frederick Lye | Optimization of Quantum Circuits for Linear Nearest Neighbor Architectures | 2013 |
| Ali Mohammadzadeh | Synthese reversibler Funktionen mithilfe des Zauberwürfels | 2013 |
| Marc Niehaus | Comparing UML Models to Natural Language Specifications | 2013 |
| Lennart Pleuß | Entwicklung einer domänenspezifischen Sprache und eines Editors auf Basis von Xtext zur Erstellung von GUI-Modellen | 2013 |
| Vladimir Herdt | Nachweis von Zusicherungen für SystemC Modelle mithilfe symbolischer Simulation | 2012 |
| Sebastian Huhn | Entwurf eines generischen multifunktionalen 868 MHz Funkempfängermoduls auf Basis eines Mikrocontrollers | 2012 |
| Eugen Kuksa | Generierung von OCL-Ausdrücken aus eingeschränkt natürlichsprachlichen Beschreibungen | 2012 |
| Clemens Werther | Eine Multiprozessorarchitektur mit Kommunikation über Nachrichtenaustausch | 2012 |
| Keszöcze Oliver | Realization of Modular Exponentiation in Reversible Logic using Automatic Design Methods | 2011 |
| Bastian Blachetta | Ausnutzung von Kanonizität in der Darstellung reversibler Schaltkreise | 2010 |
| Christian Otterstedt | Synthese sequentieller reversibler Schaltkreise | 2010 |
| Hristina Fidanoska | Complete Algorithms for Solving the Boolean Satisfaiablitity Problem | 2009 |
| Markus Groß | Co-Simulation von SystemC-Modellen unterschiedlicher Abstraktionsebenen | 2009 |
| Andreas Schröder | Entwicklung eines Synthese-Verfahrens für SystemC-Beschreibungen | 2009 |