Clemens Dubslaff

Registered user since Wed 2 Feb 2022

Name:Clemens Dubslaff
Bio:

Clemens Dubslaff is research associate at the chair Algebraic and Logic Foundations of Computer Science of Technical University Dresden, Germany. He obtained his Ph.D. at TU Dresden 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.

Country:Germany
Affiliation:TU Dresden
Personal website:http://clemensdubslaff.de
Research interests:Formal Methods

Contributions

PLDI 2022 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Show activities from other conferences

Using general profile