Aus dem Katalog "Vertiefung der Informatik" wählen Sie während Ihres Masterstudiums 3 Veranstaltungen aus, die in den ersten beiden Fachsemestern des Masterstudiums belegt werden. Dieser Wahlkatalog ist unabhängig von der gewählten Vertiefungsrichtung und enthält z.B. die Veranstaltungen

• Compilerbau (6 ECTS, 4 SWS)
• Distributed Systems (6 ECTS, 4 SWS)
• Formale Spezifikation von Software-Systemen (6 ECTS, 4 SWS) (Ab WiSe2023/2024 keine Prüfungen im 1. Versuch mehr möglich, letzte Prüfungsmöglichkeit im Sommersemester 2024)
• Mathematische Grundlagen der Quanteninformatik (6 ECTS, 4 SWS) (neu ab SoSe 2024)
• Methods of Real-Time Networking (6 ECTS, 4 SWS) (neu ab SoSe 2024)
• Modellierung, Analyse, Verifikation (6 ECTS, 4 SWS)
• Muster- und Komponentenbasierte Software-Entwicklung (6 ECTS, 4 SWS)(Vorlesung findet nicht mehr statt, ab WiSe 2023/2024 keine Prüfung im 1. Versuch mehr möglich)
• Sicherheit in Kryptowährungen und Blockchain Technologien (6 ECTS, 4 SWS) (neu ab SoSe 2024)
• Software Craftmanship (6 ECTS, 4 SWS) (neu ab WiSe 2021/2022)

Bitte beachten Sie: Das Modul "Internet of Things, Protocols and System Software" wurde ab dem Sommersemester 2022 in den Katalog "Informatik für den Anwendungsbereich - Verteilte, Verlässliche Systeme" verschoben. Für alle Studierenden, die die Leistungskontrolle vor dem Sommersemester 2022 erfolgreich absolviert haben, zählt die Leistungskontrolle weiter im Katalog "Vertiefung der Informatik"