Foundations of Dependable Systems Research Group

We are conducting research on what makes systems more reliable and secure. Our research is partly application oriented, but covers also more fundamental problems that arise in the context of dependability. Therefore we are also interested in theoretical computer science. 

Want to know more? Then please use the links below.

This page is currently under revision and may therefore be incomplete.