Small Memory Software

• Proseminar (P2)
• Betreuer: Dr. rer. nat. Ralf Mitsching

Formale Methoden für eingebettete Systeme

• Vorlesung (V2/Ü1)
• Betreuer: Dr. rer. nat. Jacob Palczynski

Entwurf eingebetteter Software

• Vorlesung (V2/Ü1)
• Betreuer: Dr.-Ing. Daniel Klünder

Sicherheits- und Zuverlässigkeitstechnik

• Vorlesung (V2/Ü1) (auf Englisch)
• Betreuer: Dr. rer. nat. Andreas Polzer

Programmierung eingebetteter Hardware

• Praktikum (P5)
• Betreuer: Dr.rer.nat. Dirk Wilking

Entwurf sicherheitskritischer Regelsysteme

• Praktikum (P4)
• Betreuer: salewski

SUN Softwarepreis 2006

• Betreuer: Dr. rer. nat. Andreas Polzer und Dr.rer.nat. Bastian Schlich