Bachelor- und Masterarbeiten

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

  • 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