Lectures, Seminars & Practical Courses
WiSe25/26 - [2.01.800-H] Proseminar - Games and software synthesis (Uni. Oldenburg)
WiSe25/26 - [2.01.812] Seminar - Safety and Explainability of ML (Uni. Oldenburg)
WiSe25/26 - SoSe2026 - [2.01.900-Y] Project Group - Towards Intelligent and Trustworthy LLM-enabled Services Robots (Uni. Oldenburg)
Mini-courses for conferences
2023 Tutorial - Runtime monitoring DNN-based perception (via the lens of formal methods)
Past lectures and seminars
2024/2025 Study Period 4 - DIT114 Project - System Development (Chalmers & Gothenburg University)
2024/2025 Study Period 2 - DAT670 Software Engineering - Theory and Practice (Chalmers & Gothenburg University)
2023/2024 Study Period 4 - DIT113 Mini Project: Systems Development (Chalmers & Gothenburg University)
2023 Winter Semester - Mathematical_Foundations_and_Practices for CPS (Uni. Hildesheim)
2023 Winter Semester - Neural Network and Safety (Uni. Hildesheim)
2023 Summer Semester - Introduction to CPS (TU Munich)