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.
Research groups and centres
Groups
Centres
Academics
Academics
-
Dr Dalal Alrajeh
/prod01/channel_3/media/migration/faculty-of-engineering/Alrajeh,-Dalal--tojpeg_1512126455848_x4.jpg)
Location
557, Huxley Building
Research interests
Formal methods, software engineering, artificial intelligence for correct software, and software for digital forensics.
-
Dr Cristian Cadar
/prod01/channel_3/media/migration/faculty-of-engineering/cadar__s--tojpeg_1491825861878_x4.jpg)
Location
435, Huxley Building
Research interests
Software engineering, computer systems, software security, practical techniques for improving software reliability and security.
-
Dr Giuliano Casale
/prod01/channel_3/media/migration/faculty-of-engineering/GC--tojpeg_1558451774879_x4.jpg)
Location
432, Huxley Building
Research interests
Quality-of-Service, resource management, edge computing, inference serving.
-
Professor Alastair Donaldson
/prod01/channel_3/media/migration/faculty-of-engineering/pwpimage-(3)--tojpeg_1491818712736_x4.jpg)
Location
422, Huxley Building
Research interests
Formal verification for multicore software, software performance optimization.
-
Dr Naranker Dulay
/prod01/channel_3/media/imperial-college/faculty-of-engineering/computing/public/website-images/-people-list-300X400/Untitled-design-(75).png)
Location
571, Huxley Building
-
Dr Tony Field
/prod01/channel_3/media/migration/faculty-of-engineering/meBigHoleAdjusted--tojpeg_1491820535758_x4.jpg)
Location
354, Huxley Building
Research interests
Functional programming, engineering for high performance, simulation.
-
Dr Antonio Filieri
/prod01/channel_3/media/migration/faculty-of-engineering/bio-photo-large--tojpeg_1506596062098_x4.jpg)
Location
572, Huxley Building
Affiliations
-
Professor William Knottenbelt
/prod01/channel_3/media/migration/faculty-of-engineering/download--tojpeg_1491816678790_x4.jpg)
Location
363, ACE Extension
Research interests
Mathematical modelling and optimisation, parallel queueing systems, resource allocation, Markov models, decentralised finance, blockchain, and cryptocurrencies.
-
Dr Ben Livshits
/prod01/channel_3/media/migration/faculty-of-engineering/portrait-dark-2016--tojpeg_1496831027211_x4.jpg)
Location
ACE 355
Research interests
Blockchain, s ecurity, privacy, program analysis, compilers, software engineering.
-
Professor Emil Lupu
/prod01/channel_3/media/migration/faculty-of-engineering/pwpimage-(8)--tojpeg_1491826311691_x4.jpg)
Location
564, Huxley Building
Research interests
Security and resilience of enterprise, IoT and cyber-physical systems. Co-design for security and safety. Security of AI systems. Use of AI in systems’ cyber security. Security management and automation.
-
Prof. Jeff Magee
/prod01/channel_3/media/migration/faculty-of-engineering/Magee,-Jeff--tojpeg_1511260056254_x4.jpg)
Location
2.06, Faculty Building
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.
-
Dr Peter McBrien
/prod01/channel_3/media/migration/faculty-of-engineering/pjmv2--tojpeg_1491815751210_x4.jpg)
Location
428, Huxley Building
Research interests
Data integration, information systems, modelling, distributed databases.
-
Professor Alessandra Russo
/prod01/channel_3/media/migration/faculty-of-engineering/Ale1--tojpeg_1491572686922_x4.jpg)
Location
I-X, Translation and Innovation Hub (I-HUB), White City Campus
Research interests
Computational logic, logic-based machine learning, probabilistic and distributed Inference, cognitive systems, autonomous systems.
-
Dr Sebastian Uchitel
/prod01/channel_3/media/migration/faculty-of-engineering/foto_sebas_ch--tojpeg_1491828194934_x4.jpg)
Location
575, Huxley Building
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.