Master Projects

Here you find general information concerning the organisation of master projects in the Computational Logic group. A separate page lists formalities.

Requirements

Students are required to do two master seminars in the Computational Logic group. Students in the new curriculum 2007W are required to take

• module 8: Verification 2 (Ausgewählte Kapitel der Verifikation)

in the second group of "2 out of 4" modules. We are happy to make suggestions for the other choices. Depending on the topic of the master thesis, certain courses in the specialisation module may be required.