Abschlussarbeiten

Gerne betreuen wir Abschlussarbeiten im Bachelor und Master Bereich. Wenden Sie sich bei Interesse bitte direkt per E-Mail an Herrn Mues.

Sommersemester 2026

• Software Architecture and Software Management (Master)
• Einführung in die Softwareverifikation (Master)

Wintersemester 2025/2026

• Aspects of Programming Language Design (Bachelor)
• Seminar: Evaluation of Research Software Artifacts (Bachelor)

Sommersemester 2025

• Einführung in die Softwareverifikation (Master)