Foundations of Dependable Systems Research Group

We conduct fundamental research on formal methods aiming at improving the safety and security of dependable systems. This explicitly includes research in relevant fields of theoretical computer science as well as the application of formal methods to concrete problems. Profile