Welcome to the Theory of Correct Systems group, headed by Prof. Dr. Christoph Matheja. Our webpage is still under construction. More content will appear soon!

• 24.09.2024: The paper „LogPPL: A Tool for Probabilistic Process Mining” by Martin Kuhn, Joscha Grüger, Christoph Matheja and Andrey Rivkin has been accepted at ICPM 2024.
• 10.09.2024: Our paper „A Game-Based Semantics for the Probabilistic Intermediate Verification Language HeyVL” has been accepted at AISoLA and will be presented in the track „Verification and Learning for Assured Autonomy”.
• 09.09.2024: We have an open position for a PhD student, see https://uol.de/stellen.