Clemens Dubslaff
Department / Institute
RESEARCH PROFILE
Clemens Dubslaff is a computer scientist conducting research at the crossroads between theoretical computer science and software engineering. His overall goal is to improve reliability of computing systems. Modern systems become more and more complex while taking on more and more responsibilities even in critical areas of society. Hence, their reliability but also their explainability, to express reasons for their decisions and behavior, are of utter interest. Clemens develops techniques to unlock the analysis of large-scale computing systems and their explainability through symbolic formal methods. He is in particular interested in methods to cope with huge configuration and feature spaces.
ACADEMIC BACKGROUND
After B.Sc. studies in Mathematics and Computer Science at Dresden University of Technology (Germany), he obtained an M.Sc. in Computational Logic from NOVA University of Lisbon (Portugal). After returning to Dresden, he got a Ph.D. in formal methods at the chair of Christel Baier. In his doctoral thesis entitled “Quantitative Analysis of Configurable and Reconfigurable Systems” he settled foundations for a compositional modeling and formal analysis of variant-rich systems through probabilistic model checking. Currently, he is an assistant professor in the formal system analysis group at TU Eindhoven (The Netherlands).
Recent Publications
-
Feature causality
Journal of Systems and Software (2024) -
Towards a Formal Account on Negative Latency.
(2024) -
Proceedings of the First Workshop on Trends in Configurable Systems Analysis, Paris, France, 23rd April 2023
(2023) -
A Unifying Formal Approach to Importance Values in Boolean Functions
arXiv (2023) -
More for Less
arXiv (2023)
Current Educational Activities
Ancillary Activities
No ancillary activities