About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

Dr.-Ing. Sascha Klüppelholz

Algebraic and Logical Foundations of Computer Science Group

Sascha Klueppelholz
Sascha Klüppelholz

Sascha Klüppelholz studied computer science at the Rheinische Friedrich-Wilhelms-Universität Bonn and finished his diploma in 2005. In 2012 he finished his PhD at the Technische Universität Dresden. Since 2006 he is working as a research assistant at the Chair of Algebraic and Logical Foundations of Computer Science at Technische Universität Dresden. His research are mainly in the area of formal modeling, specification, verification and quantitative analysis of stochastic systems using probabilistic model checking.

For further information, see his homepage.