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

    DA

    Personal details

    Dr Dalal Alrajeh Research Fellow

    Research interests

    Logic Programming and Inductive Learning in Software Engineering.

    Location

    Huxley Building

  • 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 Antonio Filieri

    AF

    Personal details

    Dr Antonio Filieri Lecturer

    +44 (0)20 7594 9478

    Research interests

    Exact and approximate methods for probabilistic software analysis and probabilistic programming, Control Theory for Software Engineering, and Runtime-efficient and incremental verification of quantitative and functional software properties.

    Location

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

  • Dr Ben Livshits

    BL

    Personal details

    Dr Ben Livshits Reader

    Research interests

    Security, Privacy, Program Analysis, Compilers, Software Engineering and Crowdsourcing.

    Location

    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

  • Dr Peter McBrien

    PM

    Personal details

    Dr Peter McBrien Senior Lecturer

    +44 (0)20 7594 8202

    Research interests

    Data Integration, Information Systems Modelling and Distributed Databases

    Location

    555, Huxley Building

  • Prof. Alessandra Russo

    AR

    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 and their applications in cognitive systems and autonomous systems. 

    Location

    560, Huxley Building

  • Dr Sebastian Uchitel

    SU

    Personal details

    Dr Sebastian Uchitel reader in Software Engineering

    +44 (0)20 7594 8269

    Research interests

    Software Engineering, Modelling and Analysis as a means to gain confidence in requirements, design and code artefacts, Partial Behaviour Models, Scenario-Based Specifications, Verification of Probabilistic Systems, Controller Synthesis, Machine Learning for Automated Diagnosis, Automatic Abstraction for Validation, and...

    Location

    573, Huxley Building