Department für Informatik

Theorie korrekter Systeme

Roberto Pettinau

Kontakt

Prof. Dr. Christoph Matheja

A03 202-a (» Adresse und Lageplan)

whenever the door is open

+49 441 798-3051 (F&P)

Sekretariat

Andrea Göken

A03 2-208 (» Adresse und Lageplan)

dienstags, mittwochs, donnerstags 9 - 12 Uhr

+49 441 798-3121 (F&P)

A03 02-208 (» Adresse und Lageplan)

dienstags, mittwochs, donnerstags 9 - 12 Uhr

+49 441 798-3121 (F&P)

Roberto Pettinau

Roberto Pettinau

uol.de/informatik

Lehrveranstaltungen

Wintersemester 2026 / 2027

2.01.189 Automated Program Verification

2.01.492 Advances in Program Verification

2.01.800-G Proseminar: Entscheidungsprozeduren und Theorembeweiser

Sommersemester 2026

2.01.400-d Theoretische Informatik: Logik (Übung)

2.01.492 Advances in Automated Program Verification

2.01.803 Verification of Probabilistic Programs

(Stand: 24.06.2026) | Kurz-URL:Shortlink: https://uol.de/p119119