Student research projects

Leave blank for all. Otherwise, the first selected term will be the default instead of "Any".

94 Projects

Project namesort descending Area Theme
A Graphical User Interface for Displaying Proofs Logic Theory
Efficient and Scalable Theorem Proving in Propositional DynamicLogic with Converse. Logic Theory
A Framework for Implementing Modal Logics Using the BDD Method Logic Theory
A VM testing framework Programming Language Systems Computer Systems
Accelerating radiological path length calculations for intensity modulated radiotherapy treatments using parallel processing Algorithms, Human-Centred Computing, Software Engineering Computer Systems, Intelligence
Additive manufacturing of aluminium alloy Manufacturing Materials
Additive manufacturing of magnesium alloy Manufacturing Materials
Advanced Smart Buildings with Internet-of-Things and Privacy-Preserving Optimization Data Mining & Matching, Human-Centred Computing, Networked Systems, Planning and Optimisation Energy, Intelligence
An Intelligent Learning Framework based on Knowledge Graphs Databases, Intelligent Agents, Machine Learning Theory
An LLVM-based Mu implementation Programming Language Systems Computer Systems
Analysing Voting Schemes Using Logic Logic Theory
Applying the mixture density recurrent neural network Machine Learning Intelligence
Architecture and Data Structure Aware Linear Algebra Algorithms, High Performance Computing, Machine Learning Computer Systems, Intelligence
Atomically thin opto-electronic devices (LED, solar cells) and/or mechanical devices based on novel two dimensional nano-materials
Automated Data Cleaning Via Logic Logic Theory
Automated Reasoning for Artificial Intelligence Logic Theory
Automated Reasoning for Situational Awareness Intelligent Agents, Knowledge Representation & Reasoning, Logic, Planning and Optimisation Computer Systems
Automatic Synthesis of ZRTP Protocol Code Logic Theory
Benchmarking GPU portability across programming models Algorithms, High Performance Computing Computer Systems
Binocular Rivalry, EEG, and Machine Learning Machine Learning Intelligence
Building Computational Model for Emphatic Avatars/Robots Human-Centred Computing, Machine Learning, Robotics Intelligence
CFD and radiation characterisitic study of design of novel free falling particle receivers
Deep Learning for Information Extraction Machine Learning Intelligence
Deep Learning for Music Composition Machine Learning Intelligence
Development of efficient and stable perovskite-silicon tandem solar modules Photovoltaics Energy, Fabrication, Materials
Development of novel particle receivers Solar Thermal Energy
Discovering Inconsistent Data in a Dynamic World Algorithms, Data Mining & Matching, Databases Theory
Discriminating real from machine-learning generated music Machine Learning Intelligence
Dynamic Knowledge Tracing Knowledge Representation & Reasoning, Machine Learning
Embedding IT-enabled decision support tools to improve quality of care for patients hospitalized with heart failure Databases, Human-Centred Computing, Machine Learning Intelligence
Erlang and Mu Programming Language Systems Computer Systems
Evaluation of the cost of language abstractions and features Programming Language Systems Computer Systems
Evolutionary music making Human-Centred Computing, Machine Learning Computer Systems, Intelligence
Explainable Text Classification: Producing performant solutions using hybrid lexicon-based approaches Data Mining & Matching, Logic, Machine Learning Computer Systems, Intelligence
Faster Decision-Theoretic Planning using Boolean-Constraint Propagation Planning and Optimisation Intelligence
Finding Minimal Unsatisfiable Subsets in Temporal Logic Logic Theory
Finger tapping measures in Parkinson's disease - building a keyboard device and a smartphone app and comparing their accuracy Computational Mechanics, Data Mining & Matching, Human-Centred Computing, Machine Learning Information
Formal Verification of the ZRTP Security Protocol Logic Theory
Formally Verified Vote Counting: The case of Fractional Transfer Values Logic Theory
GRAF: Graph-based Reference Animator Framework for UML Logic Theory
Graph Analytics Algorithms, Databases, Machine Learning Theory
Green synthesis of nanomaterials and their applications Nanomaterials Materials
High Performance Physical Simulation with the Julia Language High Performance Computing, Programming Language Systems Computer Systems
HypyDesygn: Combining artificial and human intelligence Databases, Machine Learning, Manufacturing, Software Engineering Computer Systems, Intelligence
Implementing Tableaux Using BDDs Logic Theory
Infrastructure and Techniques to Accelerate Operational Weather Codes on Next-generation Supercomputers High Performance Computing Computer Systems
Integrated energy system based on hydrogen storage Energy Storage, Planning and Optimisation Energy, Theory
Knowledge Bookmarks Data Mining & Matching, Knowledge Representation & Reasoning Information, Intelligence
Learning, Representing and Exploiting Sequential Nogoods in Planning Planning and Optimisation Intelligence


Updated:  1 June 2019/Responsible Officer:  Dean, CECS/Page Contact:  CECS Marketing