Software and e-infrastructure
The scientific world runs on software - from tiny scripts to automate scientific tasks, to the millions of lines of code behind international efforts such as the Large Hadron Collider.
We are building the next generation of tools and infrastructure to support best practice for industrial and academic software engineering.
Our aim is to cultivate and improve research software practices, to support world-class research.
Our facilities
We boast an incredible array of facilities, making our innovative software and e-infrastructure research possible.
Areas of expertise
Our researchers focus their work in the following specialist areas:
-
Human computer systems
Understanding how humans use and interact with computing systems is critical, and part of our core mission. We blend expertise in interface design with psychology theories, to build more intuitive computing systems.
Read more
-
Information management
We design, develop and build state of the art data and knowledge management systems -- spanning from formal underpinnings in knowledge representation and logic, to challenging interdisciplinary work.
Read more
Postgraduate research projects
Software and e-infrastructure projects
- Automatic Detection and Repair of Software Vulnerabilities in Unmanned Aerial Vehicles
- Combining Concolic Testing with Machine Learning to Find Software Vulnerabilities in the Internet of Things
- Component-based Software Development.
- Design and Exploration of a Memristor-enabled FPGA Architecture
- Exploiting Software Vulnerabilities at Large Scale
- Finding Vulnerabilities in IoT Software using Fuzzing, Symbolic Execution and Abstract Interpretation
- Job and Task Scheduling and Resource Allocation on Parallel/Distributed machines
- Managing the data deluge for Big Data, Internet-of-Things, Industry 4.0 environments
- Scheduling, Resource Management and Decision Making for Cloud / Fog / Edge Computing
- Security and privacy in p2p electricity trading
- Type 1 Diabetes: Accurate Prediction of Glucose Absorption from Food
- Using Program Synthesis for Program Repair in IoT Security
- Verifying Cyber-attacks in CUDA Deep Neural Networks for Self-Driving Cars
Lucas Cordeiro projects
- Automatic Detection and Repair of Software Vulnerabilities in Unmanned Aerial Vehicles
- Combining Concolic Testing with Machine Learning to Find Software Vulnerabilities in the Internet of Things
- Exploiting Software Vulnerabilities at Large Scale
- Finding Vulnerabilities in IoT Software using Fuzzing, Symbolic Execution and Abstract Interpretation
- Formally Verifying eBPF
- Using Program Synthesis for Program Repair in IoT Security
- Verification of Efficient Algorithms in Isabelle/HOL
- Verifying Cyber-attacks in CUDA Deep Neural Networks for Self-Driving Cars
Suzanne Embury projects
Simon Harper projects
Dirk Koch projects
Kung-kiu Lau projects
Mustafa Mustafa projects
Giles Reger projects
Rizos Sakellariou projects
- Job and Task Scheduling and Resource Allocation on Parallel/Distributed machines
- Managing the data deluge for Big Data, Internet-of-Things, Industry 4.0 environments
- Problems in large graphs (e.g., social networks, VANETs)
- Scheduling, Resource Management and Decision Making for Cloud / Fog / Edge Computing