Dr. Clemens Dubslaff

Biography

Clemens Dubslaff is a computer scientist conducting research at the intersection of theoretical computer science and software engineering. His overall goal is to improve the reliability of computing systems as modern systems have become increasingly complex and take on responsibilities in critical areas of society. Therefore, reliability and explainability are key factors, as understanding the reasons behind decisions and behaviors is crucial. Clemens develops techniques for analyzing large-scale computing systems with a focus on explainability through symbolic formal methods. He is particularly interested in methodologies that can handle vast configuration feature spaces. He completed his B.Sc. in Mathematics and Computer Science at Dresden University of Technology in Germany, and then obtained an M.Sc. in Computational Logic from NOVA University of Lisbon in Portugal. Returning to Dresden, he completed his Ph.D. at the formal methods chair under Christel Baier, with a doctoral thesis entitled “Quantitative Analysis of Configurable and Reconfigurable Systems,” which established foundations for compositional modeling and formal analysis of variant-rich systems using probabilistic model checking. Currently, he is an assistant professor in the formal system analysis group at TU Eindhoven in The Netherlands.

Research Interests