Research Project "Formal Methods"

Prof. Dr. Christel Baier
SWS: (0/0/8), in English or German

Description

The research project is intended for students enrolled in the Master's or Diplom program Computer Science. Participants study selected topics from the fields model checking, automata theory and logics. The purpose is to acquire skills for their research oriented specialization and independent research work.

Registration

Enrolling via OPAL is required until 16th October 2023.

Exam and Creditability

Master Informatik

• INF-PM-FPG: Profilprojekt Grundlagenforschung in der Informatik (exam according to module description)

Diplom Informatik

• INF-PM-FPG: Profilprojekt Grundlagenforschung in der Informatik (exam according to module description)

Contact