Teaching

Lectures, Seminars & Practical Courses

• Please look at the Department of Computing at Uni. Oldenburg for checking the teaching activities offered by our group

Mini-courses for conferences

• 2023 Tutorial - Runtime monitoring DNN-based perception (via the lens of formal methods)

Past lectures and seminars

• 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)

• 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)