Are we alone? Discovering Earth-like exoplanets with Conformal Prediction (available)

Billions of exoplanets are orbiting around their stars outside our solar system [1]. But are they similar enough to our Earth so that life may have developed there? Often you can answer this question if you know the planet’s mass, radius, and orbiting period. Given the astronomic distances between us and the planets, however, you … full description “Are we alone? Discovering Earth-like exoplanets with Conformal Prediction (available)”

Attacking Large Pre-trained Programming Language Models (PLMs) via Backdoors (completed)

Project Description: Backdoors refer to a class of Machine Learning (ML) attacks where an adversary trains an ML model to intentionally misclassify any input to a specific label [1]. This is typically achieved by poisoning the training data, such that inputs are misclassified to a target label when the backdoor trigger is present. For instance, … full description “Attacking Large Pre-trained Programming Language Models (PLMs) via Backdoors (completed)”

Automated verification of Rowhammer mitigations (available)

Rowhammer [1], first introduced in [2], is a security exploit that relies on electromagnetic side-effects happening in DRAM memories due to repeated accesses to the same row(s) in a short period of time. In fact, accessing the same row in the DRAM many times in a short span of time may cause electromagnetic interactions with … full description “Automated verification of Rowhammer mitigations (available)”

Building a Full Causality Chain Across an Enterprise System (completed)

Data Provenance refers to records of the inputs, entities, systems and process that influence data of interest, providing a historical record of the data and its origins. To provide a holistic view of the data provenance in an enterprise system, the provenance records of the activities carried out on a client workstation is important. Last … full description “Building a Full Causality Chain Across an Enterprise System (completed)”

Computer Vision for Extreme Environments (available)

The use of data from extreme environments in computer vision have shown an increase of interest in recent years as drones and autonomous vehicles were introduced into new uses. Nuclear plants, deep underwater and space vehicles are some of the areas computer vision can be applied to develop a fully autonomous system. Furthermore, the development … full description “Computer Vision for Extreme Environments (available)”

Cybercrime and ransomware groups – data analysis (available)

Project background Cybersecurity is the practice of defending computers, servers, mobile devices, electronic systems, networks, and data from malicious attacks, in an ever increasingly complex threat landscape. These attacks constitute a variety of computer-enabled and computer-dependent crimes, broadly categorised as ‘cybercrime’. In order to be in a position to defend against these attacks and minimise … full description “Cybercrime and ransomware groups – data analysis (available)”

Deep learning based underwater image enhancement and object recognition (available)

In the past decade, advances in marine object recognition have been dramatically boosted for monitoring of underwater ecosystems. Traditional statistical analysis and ocean model simulation heavily depend on the availability of visual features. However, Due to light attenuation and scattering problem, the underwater images captured by optical imaging system are heavily degraded. As a result, … full description “Deep learning based underwater image enhancement and object recognition (available)”

Deep Learning-based Environmental Sound Classification (available)

Automatic sound classification attracts increasing research attention owing to its vast applications, such as robot navigation, environmental sensing, musical instrument classification, medical diagnosis, and surveillance. Sound classification tasks involve the extraction of acoustic characteristics from the audio signals and the subsequent identification of different sound classes. The broad range of sound classification deployments can be … full description “Deep Learning-based Environmental Sound Classification (available)”

Interactive Visualisation of Disentangled Representations (completed)

This project aims to develop an interactive visualisation toolkit based on existing technologies (IPython & Plotly) that will assist researchers in debugging and understanding complex models in the area of representation learning. Representation learning is a sub-field of machine learning that focuses on developing techniques for representing objects that exist in high-dimensional space (e.g. faces … full description “Interactive Visualisation of Disentangled Representations (completed)”

Machine Learning for Crystal Structure Prediction (completed)

Crystal Structure Prediction (CSP) is one of the major problems in computational chemistry with numerous applications in real life. This is essentially the (global) minimisation of a continuous, high-dimensional, complicated function. Many heuristic methods have been proposed for CSP and recently new methods based on Machine Learning were introduced. The goal of this project is … full description “Machine Learning for Crystal Structure Prediction (completed)”

Machine Learning Library for OCaml (completed)

Frameworks for machine learning include Python’s TensorFlow [1]. These frameworks provide standard ways of specifying models that can be optimised by machine learning algorithms. OCaml [2] is a mature functional programming language with an expressive type system. DecML [3] is a prototype OCaml extension that facilitates implementing machine learning tasks, based on specifying models as … full description “Machine Learning Library for OCaml (completed)”

Mixed Nash Equilibria in Net Coordination Games (completed)

Net Coordination Games form a special class of many-player games with several applications in Theoretical Computer Sciene, Multi Agent Systems, and Semi Supervised Learning.  Nash equilibria correspond to the stable outcomes and they are the prominent solution concept in games. It is known that Net Coordination Games possess a pure Nash equilibrium, but unfortunately, it … full description “Mixed Nash Equilibria in Net Coordination Games (completed)”

OSN Mining Platform – Building a public dataset for fake news research (available)

Project Description According to the Statista, in 2018 the UK had 44 million (66% of the population) active Online Social Networks (OSN) users. Whereas, globally, active OSN user population is 3,397 million. The most popular reason for using the OSN is to stay in touch with friends and family (42% of respondents) and stay up … full description “OSN Mining Platform – Building a public dataset for fake news research (available)”

Predicting Debug Symbols for Closed Source Binaries (completed)

Reverse engineering binaries, whether malicious or benign, is made more difficult by the absence of debug information. Variables and functions have had their identifiers “stripped”, so reverse engineers have to manually name them during analysis based on human understanding of the code functionality. The goal of this project is to use machine learning to predict … full description “Predicting Debug Symbols for Closed Source Binaries (completed)”

Quantum computing without quantum computers (available)

Quantum Technologies (QT) may revolutionise data science but are often unreliable. Classical and quantum noise makes most of the existing systems highly unstable. This generalised unreliability has limited their applicability to real-world computational problems. In special cases, quantum systems can be simulated on classical computers. As classical simulations are noise-free, they can be used to … full description “Quantum computing without quantum computers (available)”

Self-localisation of drones using machine learning (available)

Drones are cool, but sometimes things go wrong. Imagine a drone is exploring an area, and all of a sudden the GPS signal becomes unreliable. How can the drone estimate its location, and avoid getting lost? Perhaps we can use data from its sensors and picture from the camera. In this project, we would like … full description “Self-localisation of drones using machine learning (available)”

Transparent Machine Learning – Shining the light in a black box world (completed)

Project Description Autonomy, based on Artificial Intelligence (AI), is at the very centre of many existing and future innovative and enabling technologies including autonomous vehicles, urban air mobility, smart cities and Industry 4.0. All decisions made by an AI system are based on the underlying algorithm design and its training/profiling set. An AI algorithm whether … full description “Transparent Machine Learning – Shining the light in a black box world (completed)”