Welcome at my page. Currently I am PhD student at the chair of algebraic and logic foundations of computer science, headed by Christel Baier. I have been supported by the doctoral grant provided by Deutsche Telekom Stiftung.

Clemens Dubslaff, M.Sc.
phone: +49 (0) 351 463 38434

Room APB3009, Nöthnitzer Str. 46
TU Dresden, Department of Computer Science
D-01062, Dresden, Germany

Research Interests

I am interested in formal methods and (probabilistic) model checking in particular.
  • quantitative analysis of communication protocols
  • multi-objective probabilistic model checking
  • verification of feature-oriented systems