In the systems research area, our work covers a broad range of topics related to the design, implementation, experimental evaluation as well as verification and analysis of software and hardware systems. We span all levels of the systems stack: we investigate custom hardware designs and their impact on compilers and systems support; we explore new abstractions for systems software and distributed systems, with an emphasis on performance, security, reliability, and manageability; and we develop new software engineering practices for the design, modeling, and validation of complex software and hardware systems.

Our research in systems is driven by real-world challenges in the domains of cloud computing, cyber-physical systems, cyber security, data centres, data science, embedded systems, high performance computing, pervasive systems, and reconfigurable computing. Much of our work has contributed to novel designs and optimisations for many applications, including big data analysis, biomedical computation, climate modelling, financial simulation, machine learning, policy management, and sensing.

We publish our scientific results across the architecture, data management, networking, performance engineering, software engineering, security, and systems communities. Many of our software and hardware implementations are available as open source contributions.

Related videos

Towards the Diamond Age

After a decade as an academic pursuit, there is now a strong belief that dust particle sized sensors could enable whole new computer architectures, complementing cloud-based systems but pushing processing power out to these small devices in the field and bring about The Diamond Age of nanotechnology described in Neal Stephenson's award winning novel of the same name.

Towards the Diamond Age

Towards the Diamond Age

Dust particle sized sensors could enable whole new computer architectures

After a decade as an academic pursuit, there is now a strong belief that dust particle sized sensors could enable whole new computer architectures, complementing cloud-based systems but pushing processing power out to these small devices in the field and bring about The Diamond Age of nanotechnology described in Neal Stephenson's award winning novel of the same name.

Rigorous engineering - What can we do? What should we do?

Rigorous engineering - What can we do? What should we do?

Developing and applying semantic models and tools for several key abstractions

The REMS project, Rigorous Engineering for Mainstream Systems, is developing and applying semantic models and tools for several key abstractions, including ARM, IBM POWER, and CHERI multiprocessors, C/C++ concurrency, C language, linking, POSIX filesystems, and TLS. 

Autonomous computing and software systems

Autonomous computing and software systems

Autonomous computing and software systems and its possible application in the space sector

Professor Julie McCann discusses her work in autonomous computing and software systems and its possible application in the space sector.

Julie McCann: Smart dust

Julie McCann: Smart dust

Algorithms that allow distributed wireless networks to become self-organising

Professor Julie McCann takes her inspiration from nature for writing algorithms that allow distributed wireless networks to become self-organising, adaptive and intelligent. Julie's technologies already find a home in monitoring water networks and to monitor pollution in cities. Looking ahead, sensors the size of dust will supersede today's cloud-based processing -- computing intelligence will move out on the edge.

Academics

Academics

  • Dr Cristian Cadar

    Dr Cristian Cadar

    Personal details

    Dr Cristian Cadar Reader in Software Reliability

    +44 (0)20 7594 8244

    Research interests

    Software Engineering, Computer Systems and Software Security, with a focus on building practical techniques for improving the reliability and security of software systems.

    Location

    435, Huxley Building

  • Dr Giuliano Casale

    Dr Giuliano Casale

    Personal details

    Dr Giuliano Casale Senior Lecturer

    +44 (0)20 7594 2920

    Research interests

    Software Performance Engineering, Performance and Reliability Modelling, Workload Measurement and Benchmarking.

    Location

    432, Huxley Building

  • Dr Alastair Donaldson

    Dr Alastair Donaldson

    Personal details

    Dr Alastair Donaldson Reader

    +44 (0)20 7594 8266

    Research interests

    Formal verification techniques for multicore software. Software performance optimization for multicore processors.

    Location

    422, Huxley Building

  • Dr Naranker Dulay

    Dr Naranker Dulay

    Personal details

    Dr Naranker Dulay Reader in Computing Science

    +44 (0)20 7594 8288

    Research interests

    Security, Pervasive-Mobile-Distributed Systems, Networking, Software Engineering, Systems and Network Management, and Applied Machine Learning.

    Location

    562, Huxley Building

  • Dr Tony Field

    Dr Tony Field

    Personal details

    Dr Tony Field Reader in Performance Engineering

    +44 (0)20 7594 8364

    Research interests

    Engineering for High-Performance, Virtual-time program execution (VTE), Functional programming, Individual-based models (IbMs).

    Location

    354, Huxley Building

  • Dr Jana Giceva

    Dr Jana Giceva

    Personal details

    Dr Jana Giceva Lecturer in Computer Systems and Security

    Research interests

    Support for Data Science on modern and future hardware across the systems stack: data processing layer, operating systems and resource management, to hardware accelerators and hardware/software co-design.

    Location

    426, Huxley Building

  • Dr Thomas Heinis

    Dr Thomas Heinis

    Personal details

    Dr Thomas Heinis Lecturer

    +44 (0)20 7594 8276

    Research interests

    Scientific Data Management, Distributed Data Processing, Spatial Databases, Indexing.

    Location

    423, Huxley Building

  • Prof. Paul Kelly

    Prof. Paul Kelly

    Personal details

    Prof. Paul Kelly Professor of Software Technology

    +44 (0)20 7594 8332

    Research interests

    Languages, compilers, operating systems for parallel computing. Domain-specific tools and active libraries. Computer systems issues underlying performance. Software tools for portable parallel programming. Irregular and data-intensive applications. Applying a broad range of mathematical and theoretical ideas to compute...

    Location

    L3 (upstairs), William Penney Building
    304, Huxley Building

  • Prof. William Knottenbelt

    Prof. William Knottenbelt

    Personal details

    Prof. William Knottenbelt Professor of Applied Quantitative Analysis

    +44 (0)20 7594 8331

    Research interests

    Application of mathematical modelling techniques to real life systems. modelling and optimisation in parallel queueing systems (especially split-merge and  fork-join  systems), modelling of storage systems, stochastic modelling of sport, stochastic modelling of healthcare systems, resource allocation and contro...

    Location

    363, ACE Extension

  • Prof. Jeff Kramer

    Prof. Jeff Kramer

    Personal details

    Prof. Jeff Kramer Professor of Distributed Computing

    +44 (0)20 7594 8271

    Research interests

    Distributed Computing, Software Architectures, Behaviour Analysis, Software Evolution and Change,   Adaptive Software Systems and Requirements Analysis.

    Location

    571Huxley Building

  • Prof. Kin Leung

    Prof. Kin Leung

    Personal details

    Prof. Kin Leung Tanaka Chair in Internet Technology

    +44 (0)20 7594 6238

    Affiliations

    Wireless Communications, Wireless Technologies, Communication Networks and Stochastic Modeling and Queueing Theory.  In Dept. of  and Dept. of  Computing .

    Location

    810a, Electrical Engineering

  • Prof. Wayne Luk

    Prof. Wayne Luk

    Personal details

    Prof. Wayne Luk Professor of Computer Engineering

    +44 (0)20 7594 8313

    Research interests

    Hardware and Architecture, Reconfigurable Computing, Design Automation.

    Location

    434, Huxley Building

  • Prof. Emil Lupu

    Prof. Emil Lupu

    Personal details

    Prof. Emil Lupu Professor of Computer Systems

    +44 (0)20 7594 8249

    Research interests

    Adaptive Systems and Security,  Applied to: Personal Networks for Healthcare, Autonomous Vehicles, Wireless Sensor Networks, Mobile ad-hoc networks,  moretraditional networked infrastructures, data quality and protection, Security for sensor based environments, Security Managemen...

    Location

    564, Huxley Building

  • Prof. Julie McCann

    Prof. Julie McCann

    Personal details

    Prof. Julie McCann Professor of Computer Systems

    +44 (0) 20 7594 8375

    Research interests

    Decentralised Algorithms, Protocols, Cross-Layered Solutions to Wireless Sensor Networks, Ubiquitous and Mobile computing and Autonomic Computing.

    Location

    258, ACE Extension

  • Prof. Peter Pietzuch

    Prof. Peter Pietzuch

    Personal details

    Prof. Peter Pietzuch Professor in Computing

    +44 (0)20 7594 8314

    Research interests

    Distributed Systems, Systems and Data Management and the Design and Engineering of Scalable, and Reliable and Secure Large-Scale Software Systems.

    Location

    442, Huxley Building

  • Dr Holger Pirk

    Dr Holger Pirk

    Personal details

    Dr Holger Pirk Lecturer

    +44 (0)20 7594 3008

    Research interests

    My research interests lie in analytical query processing on memory-resident data. In particular, I study storage schemes and processing models for modern hardware.

    Location

    431, Huxley Building

  • Prof. Morris Sloman

    Prof. Morris Sloman

    Personal details

    Prof. Morris Sloman Professor of Distributed Systems Management

    +44 (0)20 7594 8279

    Research interests

    Pervasive systems, adaptive distributed systems, and policy-based management.

    Location

    575, Huxley Building