TUD Logo

TUD Home » ... » Teaching » Winter Term 2017/18 » Forschungsprojekt “Formale Methoden”

Chair of Algebraic and Logical Foundations of Computer Science

Forschungsprojekt Formale Methoden (0/0/8)

Prof. Dr. Baier

Language: English or German

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.

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.

Last modified: 17th Nov 2017, 10.10 AM
Author: Dipl.-Inf. Steffen Märcker