Foundations of Dependable Systems Research Group
We conduct research on the formal foundations of algorithms that can be used in the context of ensuring system reliability and security. We work in theoretical computer science, taking into account the application area of dependable systems.
Want to know more? Then please use the links below.
This page is currently under revision and quite incomplete. We apologise for any currently lacking information.