Wie schreibt man eine Abschlussarbeit?
Professor Braun hat eine gute Einführung dazu, wie man Bachelor und Mastararbeiten an der HM verfassen kann.
Offene Themen
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.
Abgeschlossene Arbeiten
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