Research Project "Formal Methods"

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

Changed proceedings due to COVID-19 outbreak

Due to the continued presence of the COVID-19 virus, restricted on-site operations still apply. Therefore, parts of all events are made available as online alternatives via OPAL up to the start of the lessons as pure face-to-face events.

Please inform yourself about current developments and decisions of the university at https://tu-dresden.de/corona and https://tu-dresden.de/studium/im-studium/coronavirus/

Description

The research project is intended for students enrolled in the Master's or Diplom program Computer Science. The 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

Please enroll via OPAL.

Creditability

Master Informatik

• INF-PM-FPG: Profilprojekt Grundlagenforschung in der Informatik

Diplom Informatik

• INF-PM-FPG: Profilprojekt Grundlagenforschung in der Informatik

Students can start a research project directly in the module. It is also possible to work on the project within the scope of the Komplexpraktikum. Interested students may contact Dr. Klüppelholz.

Contact