Teaching

Winter term 2024/2025

Logical Foundations of Cyber-Physical SystemsLecture (6 ECTS) Moodle
ProgrammierparadigmenLecture (6 ECTS)

Summer term 2024

Constructive LogicLecture (5 ECTS)

Winter term 2023/2024

Logical Foundations of Cyber-Physical SystemsLecture (6 ECTS) Moodle

Summer term 2023

Constructive LogicLecture (5 ECTS)
Proseminar Differentiable ProgrammingProseminar (3 ECTS)

Winter term 2022/2023

Logical Foundations of Cyber-Physical SystemsLecture (6 ECTS)