Teaching
Winter term 2024/2025
| Logical Foundations of Cyber-Physical Systems | Lecture (6 ECTS) | Moodle |
Summer term 2024
| Constructive Logic | Lecture (5 ECTS) |
Winter term 2023/2024
| Logical Foundations of Cyber-Physical Systems | Lecture (6 ECTS) | Moodle |
Summer term 2023
| Constructive Logic | Lecture (5 ECTS) | |
| Proseminar Differentiable Programming | Proseminar (3 ECTS) |
Winter term 2022/2023
| Logical Foundations of Cyber-Physical Systems | Lecture (6 ECTS) |