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.


We have an open postdoc position to fill.


This page is currently under revision and quite incomplete. We apologise for any currently lacking information.