3 Papers accepted at ISoLA'20: "An Interface Theory for Program Verification", "Verification Artifacts in Cooperative Verification", and "Violation Witnesses and Result Validation for Multi-Threaded Programs"

(Number in parentheses refer to weekly hours of presence time.)

Teaching in Summer 2020

Courses:

Seminars:

Training (Praktikum):

Teaching in Winter 2019/20

Courses:

Seminars:

Training (Praktikum):

Teaching in Summer 2019

Courses:

Seminars:

Training (Praktikum):

Teaching in Winter 2018/19

Courses:

Seminars:

Training (Praktikum):

Teaching in Summer 2018

Courses:

Seminars:

Training (Praktikum):

Teaching in Winter 2017/18

Courses:

Seminars:

Training (Praktikum):

Teaching in Summer 2017

Courses:

Seminars:

Teaching in Winter 2016/17

Courses:

Seminars:

Information on teaching in previous semesters can be found on the PST homepage (German).