Masterpraktikum

Technische Universität Dresden Institut für Theoretische Informatik Lehrstuhl für Automatentheorie

Prof. Dr.-Ing. Franz Baader, Dr. (habil) Anni-Yasmin Turhan

The Masterpraktikum is offered for master students of Computer Science (module INF-MA-PR).

Organisation

The initial meeting takes place on April 13th at 11:10 (3. DS) in room APB/3027. Students who are not able to attend the initial meeting please contact Anni-Yasmin Turhan before April 30.
The participants are expected to read the relevant literature, and to discuss it with their tutor in order to become acquainted with the chosen topic. The required implementation work (if any) should be carried out in a structured way, and has to be documented appropriately. If a topic is shared by two or more participants, acquiring team-working skills is another goal of the project. The results of the project have to be described in a project paper (~15 pages) and presented in a 30 minutes talk at the end of the semester.
It is also the duty of the participants to reserve enough time for performing the project. The deadline for finishing the project is the end of the semester (exam period), i.e. the allowed time for the project is one semester plus the semester break. Failure to finish the project in time will result in no credits to be given. It is the obligation of the participant to start the project in time, and to make appointments with the supervisor for regular meetings during the semester.
Knowledge from the lectures Formale Systeme, Theoretische Informatik und Logik, and Descriptions Logics is helpful.

Language

Concerning the final presentations, students may choose to present their work in German or in English.

Topics

The topics offered this semester can be found here.