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 Lecturer

    +44 (0)20 7594 2421

    Research interests

    Formal methods, software engineering, artificial intelligence for constructing correct software and their applications (e.g., software for digital forensics).

    Location

    557, Huxley Building

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

    Dr Antonio Filieri

    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

    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

  • Dr Ben Livshits

    Dr Ben Livshits

    Personal details

    Dr Ben Livshits Reader

    Research interests

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

    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 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. Jeff Magee

    Dr Sergio Maffeis

    Personal details

    Prof. Jeff Magee President's Envoy

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

    Location

    560, Huxley Building

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

    575, Huxley Building

  • Prof. Nobuko Yoshida

    Prof. Nobuko Yoshida

    Personal details

    Prof. Nobuko Yoshida Professor of Computing

    +44 (0)20 7594 8240

    Research interests

    Theoretical Computer Science.

    Location

    556, Huxley Building