Ulrich Nitsche
Ordentliche_r Professor_in
PER 21 - A416
+41 26 300 9149
E-Mail
The FDS research group conducts research on formal methods aimed at improving the safety and security of interconnected systems. This explicitly includes research in theoretical computer science. For more information, please visit the group's individual web page.