Verification and Program Analysis

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

Akkulevel-Determination for an electrical Wheelchair

• Laboratory (2 Credits)
• Tutor: Dr. rer. nat. Andreas Polzer

Hardware Programming

• Lab Course (4 Credits)
• Betreuer: Dr. rer. nat. Ralf Mitsching and Dr.-Ing. André Stollenwerk

Formal Methods for Embedded Systems

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

Verification and Program Analysis

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

Komponentenbasierte Softwareentwicklung am Beispiel von Android

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