Algebraic and Logical Foundations of Computer Science
From International Center for Computational Logic
Algebraic and Logical Foundations of Computer Science
- Contact Christel Baier
- Secretary secretary_alg@mailbox.tu-dresden.de
The chair of Algebraic and Logical Foundations of Computer Science researches the modeling, specification and verification of reactive systems. The focus is on the formal analysis and synthesis of stochastic systems and on explainability in the context of formal methods. Further areas of research include automata theory, temporal and modal logics, game theory and dynamic systems.
Professors and Research Group Leaders
Management
Scientific Staff
Former Members
Dr.-Ing. Robin Ziemek
- Former Research Associate
- Algebraic and Logical Foundations of Computer Science
Newest Publications
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer
Linear dynamical systems with weight functions
Nonlinear Analysis: Hybrid Systems, 60:101680, 2026
Details
Rajab Aghamov, Andrey Kudinov, Maik Nguyen, Jakob Piribauer
On Modal Logics of Full Products of Neighborhood Frames
Advances in Modal Logic, volume 16, 2026. College Publications
Details
Rajab Aghamov, Christel Baier, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala, Isa Vialard
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks
In Sven Koenig, Chad Jenkins, Matthew E. Taylor, eds., Proceedings of the 40th Annual AAAI Conference on Artificial Intelligence (AAAI-26), volume 40, 36601–36609, 2026. AAAI Press
Details
Rajab Aghamov, Christel Baier, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Jakob Piribauer, Timm Spork
Model Checking Linear Temporal Logic with Standpoint Modalities
In Magdalena Ortiz, Renata Wassermann, Torsten Schaub, eds., Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2--11, 2025. IJCAI Organization
Details
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
Multiplicative Rewards in Markovian Models
40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025), 499-512, 2025. IEEE
Details
Sascha Klüppelholz, Jakob Piribauer
Stop Gambling! It Just Takes Too Long
In Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz, eds., Principles of Formal Quantitative Analysis - Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday, volume 15760 of Lecture Notes in Computer Science, 139–157, 2025. Springer
Details
Christel Baier, Sascha Klüppelholz, Jakob Piribauer, Robin Ziemek
Formal Quality Measures for Predictors in Markov Decision Processes
Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence, volume 39 of Technical Tracks 25, April 2025. Public Knowledge Project
Details
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes
In Pavithra Prabhaka, Andrea Vandin, eds., Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings, volume 16143 of Lecture Notes in Computer Science, 195--218, August 2025. Springer
Details
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality
In Pavithra Prabhaka, Andrea Vandin, eds., Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings, volume 16143 of Lecture Notes in Computer Science, 83--94, August 2025. Springer
Details
Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klüppelholz, Jakob Piribauer
Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
In Ruzica Piskac, Zvonimir Rakamarić, eds., Proceedings of the 37th International Conference on Computer Aided Verification (CAV2025), Part II, volume 15932 of Lecture Notes in Computer Science (LNCS), 56-81, July 2025. Springer
Details Download
Theses
We offer bachelor's, master's and Diplom theses as well as the Großer Beleg (Student Research Project). The topics are usually closely related to our current research projects. The Bachelorseminar is intended to be taken in conjunction with a bachelor's thesis and the Belegseminar is intended to be taken in conjunction with a Großer Beleg (see below).If you are interested in writing your thesis at our chair, please contact Sascha Klüppelholz.
Courses
Winter term 2026
Lecture “Model Checking” (WS 2026)
Christel Baier; Sascha Klüppelholz • 4/4/0 SWS • in English
Modules: INF-25-Ma-FTK-MC
Analysis of a Research Topic (WS 2026)
Christel Baier • 0/0/40h SWS • in German or English
Modules: INF-25-Ma-AFT
Student Project Seminar (Belegseminar) (WS 2026)
Christel Baier • 0/4/0 SWS • in German or English
Modules: INF-25-Ma-BSem
CMS Research Project “Model Checking” (WS 2026)
Sascha Klüppelholz • 0/0/12 SWS • in English
Modules: CMS-PRO
Exploration of a Research Subject (WS 2026)
Christel Baier • 0/0/40h SWS • in German or English
Modules: INF-25-Ma-ERS
Student Research Project (Großer Beleg) (WS 2026)
Christel Baier • 0/0/100h SWS • in German or English
Modules: INF-25-Ma-GB
Proseminar “Binäre Entscheidungsgraphen” (WS 2026)
Sascha Klüppelholz • 0/2/0 SWS • in German
Modules: INF-25-Ba-WIA
Proseminar “Theoretische Informatik” (WS 2026)
Sascha Klüppelholz • 0/2/0 SWS • in German
Modules: INF-25-Ba-WIA
Seminar “Games and Graphs” (WS 2026)
Christel Baier; Jakob Piribauer • 0/2/0 SWS • in English
Modules: INF-25-Ma-FTK-Sem
Seminar “Selected Topics in Logic and Verification” (WS 2026)
Christel Baier; Jakob Piribauer • 0/2/0 SWS • in English
Modules: CMS-SEM, INF-25-Ma-FTK-Sem
Show all courses
CPEC
Center for Perspicuous Computing
CeTI
Centre for Tactile Internet with Human-in-the-Loop
SECAI
School of Embedded Composite Artificial Intelligence
SEMECO-Q1: TrustMod
Secure Medical Microsystems and Communications: Enhancing Trustworthiness and Facilitating Certification through Separation and Modularization (TrustMod)
