Clemens Dubslaff

Registered user since Wed 2 Feb 2022

Name:Clemens Dubslaff

Clemens Dubslaff is an assistant professor in the formal system analysis group at Eindhoven University of Technology, The Netherlands. He obtained his Ph.D. at Dresden University of Technology, Germany, with a dissertation about quantitative analysis of configurable and reconfigurable systems. In his M.Sc. in Computational Logic (TU Dresden and New University Lisbon, Portugal) he investigated model-checking algorithms for fault-tolerant communication protocols.

Affiliation:Eindhoven University of Technology
Personal website:
Research interests:Formal Methods


PLDI 2022 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
ICSE 2022 Author of Causality in Configurable Software Systems within the Technical Track-track