We live in a network-­centric world, where communication supported by robust an reliable network systems is of real importance. Malfunctioning of network systems can lead to costly losses and even endanger lives. For an example, in 2012, the Google server crashed for 40 minutes which, in turn, caused Gmail and Chrome to crash all around the world, leaving millions of users without access to their data. Troubleshooting the issue and identifying the root cause of the event revealed a faulty load balancing configuration which was eventually fixed.

In FMT, we work on projects addressing similar problems, and on developing rigorous methodologies for modeling and analysing causes of anomalous behaviours in software defined networks (SDNs). SDNs are characterised by their simplicity in network management and increased network programability, which are key factors in reducing capital expenditure and operating expenses. In short, SDN architectures decouple network control and forwarding functions, enabling the network control to become directly programmable and the underlying infrastructure to be abstracted from applications and network services.

We offer B.Sc. research projects related to the development of programming languages for SDNs and associated analysis frameworks, supported by rigorous mathematical foundations.