Lehrveranstaltungen

WS 2023/24

• Software Engineering
• Theoretsche Informatik
• Seminar im Bachelor
• Qualitätssicherung und Testen
• Formale Methoden (Master)

SS 2023

• Software Engineering
• Theoretsche Informatik
• Seminar im Bachelor

WS 2022/23

• Software Engineering
• Seminar im Bachelor
• Qualitätssicherung und Testen

Abschlussarbeiten bevorzugt zu

• Sicherheitskritische Systeme
• Qualitätssicherung und Testen
• Domänenspezifische Sprachen