Introductory Project “Research Project Formal Methods”

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

Description

The introductory project is intended for students enrolled in the Master or Diplom programs Informatik (computer science). Participants study selected topics from the fields of 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 October 21, 2024.

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