We offer a variety of courses, but these are not offered or organised by us every semester. It is therefore possible that a course not currently offered by us is offered by another department. Please refer to the course catalogue.

• Lecture Fundamentals of Computing Science
• Lecture Formal Methods of Embedded Systems
• Lecture Foundations of STS Eng: Systems Engineering
• Lecture Verification and Validation of Highly Automated Vehicles
• Seminar Logics, Explanations and Reasoning for Integrated Socio-Technical Systems
• Practical course in hardware-related system development
• Project group RescueRobots
• Advanced seminar Foundations and Applications of Systems of Cyber-Physical Systems
• Research seminar Foundations and Applications of Systems of Cyber-Physical Systems