Wir bieten eine Vielzahl von Lehrveranstaltungen an, welche jedoch nicht in jedem Semester angeboten oder von uns durchgeführt werden. Es ist also möglich, dass eine aktuell nicht von uns angebotene Veranstaltung von einer anderen Abteilung angeboten wird. Bitte beachten Sie das Veranstaltungsverzeichnis.

• Vorlesung Grundlagen Technische Informatik
• Vorlesung Formale Methoden eingebetteter Systeme
• Vorlesung Foundations of STS Eng.: Systems Engineering
• Vorlesung Verifikation und Validierung hochautomatisierter Fahrzeuge
• Seminar Logics, Explanations and Reasoning for Integrated Socio-Technical Systems
• Praktikum Hardwarenahe Systementwicklung
• Projektgruppe RescueRobots
• Oberseminar Foundations and Applications of Systems of Cyber-Physical Systems
• Forschungsseminar Foundations and Applications of Systems of Cyber-Physical Systems