Lectures, Seminars & Practical Courses
2024/2025 Study Period 2 - DAT670 Software Engineering - Theory and Practice (Chalmers & Gothenburg University)
Mini-courses for conferences
2023 Tutorial - Runtime monitoring DNN-based perception (via the lens of formal methods)
Past lectures and seminars
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)