Lehrveranstaltungen

Sommersemester/Summerterm 2020
Analysis of Hybrid Systems (engl.)	Kurswebseite
Automated Theorem Proving (engl.)	Kurswebseite
Research Seminar: Software Engineering using Formal Methods (dt./engl.)	Mitarbeiter_innen & Bachelor-/Masterarbeitschreibende
Wintersemester/Winterterm 2019/2020
Software Engineering	Raumaufteilung Klausur
Formale Methoden im Software Entwurf (dt.)	Kurswebseite
Seminar: Actor-based Languages	(TUCaN)
Sommersemester/Summerterm 2019
Formal Specification and Verification of Software (engl.)	Kurswebseite
Seminar: Symbolic Execution (dt./engl.)	Seminar Webseite
Bachelorpraktikum für PsychIt	Kurswebseite
Research Seminar: Software Engineering using Formal Methods (dt./engl.)	Mitarbeiter_innen & Bachelor-/Masterarbeitschreibende
Wintersemester/Winterterm 2018/2019
Formale Methoden im Software Entwurf (dt.)	Kurswebseite
Seminar: Symbolic Execution	Seminar Webseite
Research Seminar: Software Engineering using Formal Methods (dt./engl.)	Mitarbeiter_innen & Bachelor-/Masterarbeitschreibende
Sommersemester/Summerterm 2018
Formale Methoden im Software Entwurf (dt.)	Kurswebseite
Seminar: Modeling and Analysis of actor-based Software Systems (engl.)	Seminar Website
Research Seminar: Software Engineering using Formal Methods (dt./engl.)	Mitarbeiter_innen & Bachelor-/Masterarbeitschreibende