Forschungsprojekt

Lehrveranstaltung mit SWS 0/0/100h (Vorlesung/Übung/Praktikum) im WS 2026

Dozent

Christel Baier

Umfang (SWS)

0/0/100h

Sprache

auf Deutsch oder Englisch

Module

INF-25-Ma-FP

Information

Das Forschungsprojekt ist angedacht für Studierende der Studiengänge Master Computer Science und Diplom Informatik. Teilnehmende bearbeiten ausgewählte Themen aus den Bereichen Model Checking, Automatentheorie und Logik mit dem Ziel, Fähigkeiten für ihre forschungsorientierte Spezialisierung und unabhängige Forschungsarbeiten zu erwerben.

Anmeldung

Wenn Sie das Forschungsprojekt an unserem Lehrstuhl belegen möchten, senden Sie eine E-Mail an studies_alg@mailbox.tu-dresden.de.

Prüfungsleistung

Master Computer Science (PO 2025)

INF-25-Ma-FP: Komplexe Leistung (200 Stunden)

Diplom Informatik (PO 2025)

INF-25-Ma-FP: Komplexe Leistung (200 Stunden)

Als Komplexe Leistung ist eine Projektarbeit und eine Präsentation vorgesehen.

Kontakt

Bei organisatorischen Fragen senden Sie eine E-Mail an studies_alg@mailbox.tu-dresden.de.