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
• Einführung in die Softwareverifikation

Wintersemester 2025/2026

• Aspects of Programinglanguage Design
• Seminar: Evaluation of Research Software Artifacts

Sommersemester 2025

• Einführung in die Softwareverifikation