Summer Semester 08

Electrical Foundations of Computer Science

• Lab Course
• Tutor: Dr.-Ing. André Stollenwerk and Dr. rer. nat. Ralf Mitsching

Programming Embedded Systems with Lego Mindstorms

• Lab Course
• Tutor: Dipl.-Inform. Jianmin Li

Modeling Technical and Physical Systems

• Lab Course
• Tutor: Dr. rer. nat. Jacob Palczynski

Formal Methods for Embedded Systems

• Lecture (V3/Ü1)
• Tutor: Dr.rer.nat. Carsten Weise, Dr.rer.nat. Bastian Schlich, Gerlind Herberich and Dr. rer. nat. Dominique Marcel Gückel