Current Courses

Winter 2025/26

• Diskrete Strukturen
• Programming Language Foundations
• Fachseminar

Summer 2026

• Automatentheorie und Formale Sprachen
• Funktionale Programmierung
• Fachseminar
• Principles, Algorithms and Models of Concurrency and Synchronization