Roberto Pettinau

Contact

Prof. Dr. Christoph Matheja

www.cmath.eu

A03 202-a (» Adress and map)

whenever the door is open

+49 441 798-3051  (F&P) 

Secretary

Andrea Göken

A03 2-208 (» Adress and map)

dienstags, mittwochs, donnerstags 9 - 12 Uhr

+49 441 798-3121  (F&P) 

A03 02-208 (» Adress and map)

dienstags, mittwochs, donnerstags 9 - 12 Uhr

+49 441 798-3121  (F&P) 

Roberto Pettinau

Roberto Pettinau

uol.de/informatik

Lectures

Winter term 2026 / 2027

2.01.189 Automated Program Verification
2.01.492 Advances in Program Verification
2.01.800-G Proseminar: Entscheidungsprozeduren und Theorembeweiser

Summer term 2026

2.01.400-d Theoretische Informatik: Logik (Übung)
2.01.492 Advances in Automated Program Verification
2.01.803 Verification of Probabilistic Programs
(Changed: 24 Jun 2026)  |  Kurz-URL:Shortlink: https://uol.de/p119119en
Zum Seitananfang scrollen Scroll to the top of the page

This page contains automatically translated content.