Visitenkarte - Alle Veranstaltungen für "Jan Frederik Haltermann, M. Sc."

Aktuelle Lehrveranstaltungen für Jan Frederik Haltermann, M. Sc.

Sommersemester 2024

• 2.01.400 Theoretische Informatik: Logik
• 2.01.400-c Theoretische Informatik: Logik (Übung)
• 2.01.400-d Theoretische Informatik: Logik (Übung)
• 2.01.400-e Theoretische Informatik: Logik (Übung)
• 2.01.400-f Theoretische Informatik: Logik (Übung)

Wintersemester 2023/2024

• 2.01.800-B Proseminar: Graphen - Konzepte, Algorithmen und Komplexität
• 2.01.801-B Forschungsseminar Formale Methoden

Sommersemester 2023

• 2.01.400 Theoretische Informatik: Logik (V)
• 2.01.400-a Theoretische Informatik: Logik (Ü)
• 2.01.400-b Theoretische Informatik: Logik (Ü)
• 2.01.400-c Theoretische Informatik: Logik (Ü)
• 2.01.400-d Theoretische Informatik: Logik (Ü)
• 2.01.481 Software Analysis

Wintersemester 2022/2023

• 2.01.401 Grundlagen der Theoretischen Informatik
• 2.01.401a Übung Grundlagen der Theoretischen Informatik
• 2.01.401b Übung Grundlagen der Theoretischen Informatik
• 2.01.401c Übung Grundlagen der Theoretischen Informatik
• 2.01.401d Übung Grundlagen der Theoretischen Informatik
• 2.01.401e Übung Grundlagen der Theoretischen Informatik
• 2.01.803-B Praktikum Softwareverifikation

Sommersemester 2022

• 2.01.490 Seminar Spezialthemen der Software Verifikation

Wintersemester 2021/2022

• 2.01.803 Praktikum Softwareverifikation
• 2.01.803-A Praktikum Softwareverifikation
• 2.01.803-B Praktikum Softwareverifikation