Prof. Dr. Christoph Matheja

Kontakt

A03 202-a (» Adresse und Lageplan)

Theorie korrekter Systeme

Willkommen auf der Webseite der Abteilung Theorie korrekter Systeme, geleitet von Prof. Dr. Christoph Matheja. Unsere Webseite befindet sich noch im Aufbau.

Aktuelles

  • 24.09.2024: Das Papier „LogPPL: A Tool for Probabilistic Process Mining” von Martin Kuhn, Joscha Grüger, Christoph Matheja und Andrey Rivkin wurde bei der Konferenz ICPM angenommen.
  • 10.09.2024: Das Papier „A Game-Based Semantics for the Probabilistic Intermediate Verification Language HeyVL” wurde bei der Konferenz AISoLA in der Kategorie „Verification and Learning for Assured Autonomy” angenommen.
  • 09.09.2024: Wir haben eine offene Stelle für eine wissenschaftliche MitarbeiterIn, siehe https://uol.de/stellen.

 

(Stand: 24.09.2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page