Causal Reasoning in NetKAT

  • July 2018 - present

  • Research interests:  the research within this project targets the development of a formal framework for liability in Software Defined Networks (SDNs). The main purpose of such a framework is to prevent and explain what are the sources of faulty SDN behaviours, who is responsible or who is to be blamed in case of SDN failures.

Project Collaborators:

Luca Aceto, Reykjavik University

Marcello Bonsangue, Leiden University

Hana Chockler, King's College London

Hossein Hojjat, Rochester Institute of Technology

Anna Ingolfsdottir, Reykjavik University

Stefan Leue, University of Konstanz

Mohammad Mousavi, University of Leicester

Alexandra Silva, University College London