Our research focuses on algorithms, combinatorial structures, natural processes and complexity analysis in networks and distributed systems. We use mathematical modelling, formal design and simulations within four main areas:
Central network protocols
Covers basic networks processes including data integrity, connectivity and communication, network testing and coding methods. We are interested in wired infrastructure, optical networks, wireless and mobile networks, and more recently in sensor networks, IoT and large-scale distributed systems, including cloud systems.
Network discovery, dynamic topology, and fault tolerance
Encompasses communication and computation in networks with unknown, partially known or unstable topology of connections. The main emphasis is on temporal networks as well as networks populated by mobile agents.
Natural processes, stabilisation and simulations
Covers the complex natural process that requires accurate mathematical modelling, elements of formal analysis and simulations, for example, abstract models of population protocols, chemical networks, and crystal formation, as well as more specialised models of spiral and scroll waves as non-linear dissipative patterns. Some key applications are in medicine and technology.
Networks and distributed computing group is the host of NeST, Network Sciences and Technologies initiative, and the Software Lab created to support research impact via interdisciplinary research explorations and industrial collaboration.
People
Academic staff members of this group are:
- Professor Leszek Gasieniec
- Professor Paul Spirakis
- Professor Prudence Wong
- Dr Danushka Bollegala
- Dr Nikhil Mande
- Dr Othon Michail
- Dr Anish Mukherjee
- Dr Namrata Namrata
- Dr Lutz Oettershagen
- Dr Terry Payne
- Dr Will Rosenbaum
- Dr Joachim Spoerhase
- Dr Karteek Sreenivasaiah
- Dr John Sylvester
- Dr Sebastian Wild
- Dr Viktor Zamaraev
Back to: Department of Computer Science