Überblick

Im Folgenden finden Sie eine Übersicht der aktuell ausgeschriebenen Vorschläge für Abschlussarbeiten. Beachten Sie unseren Betreuungsleitfaden, der Sie über den Ablauf der initialen Kontaktphase sowie der Abschlussarbeit selbst informiert.

Einige der bei uns abgeschlossenen Abschlussarbeiten hat direkt zu wissenschaftlichen Publikationen geführt. Eine Liste der hervorgegangenen Publikationen finden sie hier.

Themen

Wir bieten Themen in den folgenden Bereichen an. Gerne können Sie auch eigene Themenvorschläge mit uns absprechen.

B / Event-B / Sicherheitskritische Systeme

Logische Programmierung

Künstliche Intelligenz und Machine Learning

Compilerbau

Misc.