Software Engineering
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
Academics
Academics
-
Dr Dalal Alrajeh
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
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
Research interests
Software Performance Engineering, Performance and Reliability Modelling, Workload Measurement and Benchmarking.
Location
432, Huxley Building
-
Dr Alastair Donaldson
Research interests
Formal verification techniques for multicore software. Software performance optimization for multicore processors.
Location
422, Huxley Building
-
Dr Naranker Dulay
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
Research interests
Engineering for High-Performance, Virtual-time program execution (VTE), Functional programming, Individual-based models (IbMs).
Location
354, Huxley Building
-
Dr Antonio Filieri
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
Personal details
Prof. William Knottenbelt Professor of Applied Quantitative AnalysisSend email+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
Research interests
Distributed Computing, Software Architectures, Behaviour Analysis, Software Evolution and Change, Adaptive Software Systems and Requirements Analysis.
Location
571, Huxley Building
-
Dr Ben Livshits
Research interests
Security, Privacy, Program Analysis, Compilers, Software Engineering and Crowdsourcing.
Location
569, Huxley Building
-
Prof. Emil Lupu
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
Research interests
Data Integration, Information Systems Modelling and Distributed Databases
Location
428, Huxley Building
-
Prof. Alessandra Russo
Personal details
Prof. Alessandra Russo Professor in Applied Computational LogicSend email+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
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