Folgende Vorlesungen bieten wir (un-)regelmäßig an:

Nicht mehr angebotene Vorlesungen:

• Mechanismen der automatischen Fahrzeugführung
• Design of Safety Critical Automotive Systems
• Compilerbau
• Grundlagen moderner SAT-Solver
• Ringvorlesung Informatik zur Energieeffizienz