TUD Logo

TUD Home » ... » Teaching » Summer Term 2017 » Profile Modules

Chair of Algebraic and Logical Foundations of Computer Science

Profile Modules

Prof. Dr. Baier

Language: English or German

Description

The following modules are 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.

Forschungsprojekt Grundlagen (0/0/8)

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

Last modified: 10th Mar 2017, 12.54 PM
Author: Dr.-Ing. Sascha Klüppelholz