Profilprojekt „Forschungsprojekt Formale Methoden“

Vorlesungsreihe

Das Profilprojekt richtet sich an Studierende der Studiengänge Master und Diplom Informatik. Teilnehmer:innen befassen sich mit ausgewählten Themen aus den Bereichen Model Checking, Automatentheorie und Logik. Dabei werden Kenntnisse für die forschungsorientierte Spezialisierung und selbstständige wissenschaftliche Arbeit erworben.