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

    CC

    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

    GC

    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

    AD

    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

    ND

    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

    TF

    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 Thomas Heinis

    TH

    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

    PK

    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

    Level 3 (upstairs), William Penney Building & room 304, Huxley Building

  • Prof. William Knottenbelt

    WK

    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

    371, Huxley Building

  • Prof. Jeff Kramer

    JK

    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

    555Huxley Building

  • Prof. Kin Leung

    KL

    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

    WL

    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

    EL

    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

    JM

    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

    554, Huxley Building

  • Prof. Peter Pietzuch

    PP

    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

  • Prof. Morris Sloman

    MS

    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