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

Um an der Veranstaltung teilzunehmen, kontaktieren Sie bitte Sascha Klüppelholz.

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 wenden Sie sich bitte an Sascha Klüppelholz.