Clemens Dubslaff

I am research assistant at the chair of algebraic and logic foundations of computer science headed by Christel Baier. Currently, I am mainly involved in the Cluster of Excellence CeTI where I investigate methods to analyze and explain tactile internet applications. Before that, I have been supported by a doctoral grant provided by Deutsche Telekom Stiftung.

I am interested in formal methods and (probabilistic) model checking in particular.