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 for Embedded Systems
• Lecture: Foundations of STS (Eng.): Systems Engineering
• Practical Course in Hardware-Oriented Systems Development
• Advanced Seminar: Foundations and Applications of Cyber-Physical Systems
• Research Seminar: Foundations and Applications of Cyber-Physical Systems