Profilprojekt „Forschungsprojekt Formale Methoden“

Lehrveranstaltung mit SWS 0/0/8 (Vorlesung/Übung/Praktikum) in SS 2025

Dozent

Christel Baier

Umfang (SWS)

0/0/8

Module

INF-PM-FPG

Information

The introductory project (Profilprojekt) is intended for students enrolled in the Master or Diplom programs Informatik (computer science). Participants study selected topics from the fields of model checking, automata theory and logics. The purpose is to acquire skills for their research-oriented specialization and independent research work.

This course is offered in German and English.

Registration

Registration via Opal is required until April 14.

Exam and Creditability

Master Informatik

INF-PM-FPG: exam according to module description

Diplom Informatik

INF-PM-FPG: exam according to module description

Contact

In case of organisational questions, please contact Sascha Klüppelholz.