NASA Formal Methods 2023 (series) / Clemens Dubslaff
![Clemens Dubslaff](https://conf.researchr.org/getProfileImage/clemensdubslaff/4b1c16a8-e62c-444b-a57e-4e5d8f14c310/small.jpg?1711691719000)
Registered user since Wed 2 Feb 2022
Name:Clemens Dubslaff
Bio:
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.
Country:Netherlands
Affiliation:Eindhoven University of Technology
Personal website: http://clemensdubslaff.de
Research interests:Formal Methods
Contributions
NASA Formal Methods 2023-profile
View general profile
View general profile