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 recent outbreak of the COVID-19 virus, the university has decided not to carry out any events with mandatory attendance at least until 4th May 2020 (as of 19th March). Lectures and exercises from the start of the Semester (in the week from 6th April) up until the start of teaching events with mandatory attendance are instead provided with online alternatives via OPAL.
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/
Please revisit this site and https://tu-dresden.de/corona from time to time to stay up to date.
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
Dr. Sascha Klüppelholz
Send encrypted email via the SecureMail portal (for TUD external users only).