Offered by Ludwig Maximilian University Munich (LMU), Munich, Germany
Taught in English. Elite Network of Bavaria program. Covers advanced software engineering, formal methods, and software systems. Joint program with University of Augsburg.