Clemens Dubslaff

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.