Unser Lehrangebot

Auf dieser Seite finden Sie eine Auflistung unserer ehemaligen regelmäßigen Lehrveranstaltungen. Aufgrund des Weggangs von Prof. Dr. Marie-Christine Jakobs an die LMU München bieten wir keine Lehrveranstaltungen und Abschlussarbeiten mehr an.

Lehrveranstaltungsübersicht

Titel Typ Semester SWS CP/ECTS
Automatische Softwareverifikation (ASV) integrierte Veranstaltung SS 4 6
Verifikation paralleler Programme (VPP) integrierte Veranstaltung WS 4 6
Fortgeschrittene Techniken der Softwareverifikation (FTSV) Seminar SS, WS 2 3

Abschlussarbeiten

Falls Sie sich für eine Abschlussarbeit in unserer Arbeitsgruppe interessieren, finden Sie nähere Informationen hier .