We offer the following lectures (un)regularly:

Lectures no longer offered:

• Mechanisms of Automatic Vehicle Guidance
• Design of Safety Critical Automotive Systems
• Compiler Construction
• Fundamentals of modern SAT solvers
• Series of lectures Computing Science for Energy Efficiency