Clemens Dubslaff

Clemens Dubslaff is an Assistant Professor in the Formal System Analysis group at TU Eindhoven (The Netherlands). His research focuses on improving the reliability and explainability of computing systems through formal methods, particularly probabilistic model checking and symbolic techniques. He holds a Ph.D. from TU Dresden (Germany) and has affiliations with TU Dresden's Cluster of Excellence CeTI and Collaborative Research Center CPEC. His work addresses challenges in analyzing complex configurable systems and enhancing system transparency through explainable AI approaches.

Education:

• B.Sc. in Mathematics and Computer Science (TU Dresden)
• M.Sc. in Computational Logic (NOVA University Lisbon)
• Ph.D. in Formal Methods (TU Dresden)

Research Interests:

• Formal methods and model checking
• Symbolic analysis techniques
• Configurable and reconfigurable systems
• Explainability in AI and verification
• Probabilistic systems analysis

Recent Achievements:

• NWO VENI Grant (2023)
• Launched OxiDD decision diagram framework (2024)
• Key contributions to feature-based software analysis

Labs/Teams: Formal System Analysis group at TU/e, collaborating with Dresden's CeTI and CPEC initiatives.