Wintersemester 09/10

Einführung in die Technische Informatik

• Vorlesung (V4/Ü2)
• ECTS: 7
• Betreuer: Kamal Barakat, M.Sc, Dr.-Ing. Hilal Diab und Dr. rer. nat. Dominik Franke

Verifikation und Programmanalyse

• Seminar (4 Credits)
• Betreuer: Dr. rer. nat. Jörg Brauer, Dr. rer. nat. Dominique Marcel Gückel und Dipl.-Inform. Volker Kamin

Akkustand-Erfassung für Elektrorollstühle

• Praktikum (2 Credits)
• Betreuer: Dr. rer. nat. Andreas Polzer

Hardwarenahe Programmierung

• Praktikum (4 Credits)
• Betreuer: Dr. rer. nat. Ralf Mitsching und Dr.-Ing. André Stollenwerk

Formale Methoden für eingebettete Systeme

• Vorlesung (V3/Ü1)
• Betreuer: Dr.rer.nat. Bastian Schlich, Dr. rer. nat. Jörg Brauer und Dipl.-Inform. Paul Hänsch

Verifikation und Programmanalyse

• Seminar (2 SWS)
• Betreuer: Dr. rer. nat. Jörg Brauer, Dr. rer. nat. Dominique Marcel Gückel und Dipl.-Inform. Volker Kamin

Komponentenbasierte Softwareentwicklung am Beispiel von Android

• Praktikum (4 SWS)
• Betreuer: Dr.rer.nat. Carsten Weise, Dr. rer. nat. Daniel Merschen und Dipl.-Inform. Jan Oliver Ringert