Software engineering research focuses on formal foundations and automated techniques and tools for all aspects of software engineering: requirements engineering, software development, software analysis, software verification, software reliability and software performance engineering.

Some particular topics and areas of concern include software architectures, self-managed adaptive software systems, concurrency, logic-based symbolic learning, probabilistic analysis and pervasive computing.

SE

Academics

Academics

  • Dr Dalal Alrajeh

    Dr Dalal Alrajeh

    Personal details

    Dr Dalal Alrajeh Senior Lecturer

    +44 (0)20 7594 2421

    Research interests

    Formal methods, software engineering, artificial intelligence for correct software, and software for digital forensics.

    Location

    557, Huxley Building

  • Dr Cristian Cadar

    Dr Cristian Cadar

    Personal details

    Dr Cristian Cadar Professor in Software Reliability

    +44 (0)20 7594 8244

    Research interests

    Software engineering, computer systems, software security, practical techniques for improving software reliability and security.

    Location

    435, Huxley Building

  • Dr Giuliano Casale

    Dr Giuliano Casale

    Personal details

    Dr Giuliano Casale Reader

    +44 (0)20 7594 2920

    Research interests

    Quality-of-service, resource management, fault-tolerance, cloud computing.

    Location

    432, Huxley Building

  • Prof Alastair Donaldson

    Dr Alastair Donaldson

    Personal details

    Prof Alastair Donaldson Professor

    +44 (0)20 7594 8266

    Research interests

    Formal verification for multicore software, software performance optimization.

    Location

    422, Huxley Building

  • 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, 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

    Functional programming, engineering for high performance, simulation.

    Location

    354, Huxley Building

  • Dr Antonio Filieri

    Dr Antonio Filieri

    Personal details

    Dr Antonio Filieri Senior Lecturer

    +44 (0)20 7594 9478

    Research interests

    Probabilistic software analysis, probabilistic programming, control theory for software engineering, runtime and incremental verification, quantitative and functional software properties.

    Location

    572, 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

    Mathematical modelling and optimisation, parallel queueing systems, resource allocation, Markov models, decentralised finance, blockchain, and cryptocurrencies.

    Location

    363, ACE Extension

  • Dr Ben Livshits

    Dr Ben Livshits

    Personal details

    Dr Ben Livshits Reader

    Research interests

    Security, privacy, program analysis, compilers, software engineering and crowd-sourcing.

    Location

    569, 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, security, personal networks for healthcare, autonomous vehicles, wireless sensor networks, security for sensor-based environments, security management and authorisation policies.

    Location

    564, Huxley Building

  • Prof. Jeff Magee

    Dr Sergio Maffeis

    Personal details

    Prof. Jeff Magee Emeritus Professor

    +44 (0)20 7594 8601

    Research interests

    His research is concerned with the software engineering of self-adaptive and distributed systems, including design methods, analysis techniques, operating systems, languages and program support environments for these systems.

    Location

    2.06, Faculty Building

  • Dr Peter McBrien

    Dr Peter McBrien

    Personal details

    Dr Peter McBrien Senior Lecturer

    +44 (0)20 7594 8202

    Research interests

    Data integration, information systems, modelling, distributed databases.

    Location

    428, Huxley Building

  • Prof. Alessandra Russo

    Prof. Alessandra Russo

    Personal details

    Prof. Alessandra Russo Professor in Applied Computational Logic

    +44 (0)20 7594 8312

    Research interests

    Computational logic, logic-based machine learning, probabilistic and distributed Inference, cognitive systems, autonomous systems.

    Location

    I-X, Translation and Innovation Hub (I-HUB), White City Campus

  • Dr Sebastian Uchitel

    Dr Sebastian Uchitel

    Personal details

    Dr Sebastian Uchitel Reader in Software Engineering

    +44 (0)20 7594 8269

    Research interests

    Software engineering, modelling, analysis, partial behaviour models, scenario-based specifications, verification of probabilistic systems, controller synthesis, machine learning, automated diagnosis, and adaptive systems.

    Location

    575, Huxley Building