Professor Braun hat eine gute Einführung dazu, wie man Bachelor und Mastararbeiten an der HM verfassen kann.
Wenn Sie eine Abschlussarbeit schreiben wollen, dann melden Sie sich gerne bei mir. Es gibt immer interessante offene Themen aus verschiedenen Bereichen. Ebenso ist es möglich, eine Abschlussarbeite in Kooperation mit einer Firma zu schreiben.
Im Bereich Haskell und Compiler gibt es z.B. bei der Validas GmbH einige interessante Themen aus den Bereichen: Parsing von Programmiersprachen (C++), Anbindung des SMT Solvers Z3 an Haskell, statische Analyse von C in Haskell oder auch Extraktion von minimalen Compilation Units für C Funktionen.
Für eine Abschlussarbeit brauche ich im Voraus ein Exposé, in dem das Thema (Was ist das Umfeld? Warum wird das hier gemacht?), eine möglichst konkrete Fragestellung sowie die geplante Herangehensweise skizziert werden. Anhand des Exposés besprechen wir dann den weiteren Ablauf der Arbeit wie z.B. Titel, die Zeitplanung und Anmeldung.
Marcel Ropos Cybersecurity Model for Software Tools in Compliance with ISO/SAE 21434 (B) 2024
Christian Engelhard Optimierung der Modularität einer Webapplikation durch die Implementirung von Frontend- und Backend-frameworks (M) 2024
Etike Selmani Smart Logistics: Blockchain als Treiber für Optimierung in Lieferketten (B) 2024
Fabian Ehnle Performancesteigerung in OTX durch Transpilierung nach Java (B)
Florian Obermaier Mehr entscheiden und kombinieren - Ein Haskell SMT Solver (B) 2024
Henrik Böving VeRix: A Verified Rust ix(4) Driver (B) 2024
Sebastian Hausler Aktuelle Open-Source Entwicklungen im Bereich generativer Modelle (B) 2023
Finn Hahn Methodology for Qualifying Rust Compilers (B) 2023
Florian Kobus Post-Quantum Cryptography - Method Comparison and Resource Analysis (M) 2023
Raphael Ruoff Analysis of technical and influencing factors in the implementation of micro-frontend architectures in web applications (B) 2023
Jonas Klein Entwicklung einer Strategie zum effizienten und effektiven Testen in hybriden Landschaften (M) 2022
Klaus Riedl Analyse von Bit-Level Eigenschaften zur Hardware Verifikation (B) 2022
Marten Budelmann Analyse, Konzeption und Implementierung eines Verfahrens zur Minimierung der Anzahl von Gateways (B) 2022
Eva Forster Vom Papier zur App - Digitale Lieferdokumentation beim Entsorgungsprozess im Bausektor (B) 2022
Moritz Maier String Constraint Solving with Constraint Logic Programming (B) 2022
Christopher Weber Webapplikation zum Erkennen und Auflösung von Duplikaten in komplexen Datensätzen (B) 2021
Thanh Nam Pham Rein funktionale Implementierung eines CDCL SAT-Solvers (B) 2021
Jonas Klein Optimierung der User Experience während des Design-In-Prozess von sicherheitsrelevanten Halbleiterprodukten (B) 2021