Student research projects

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

99 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 Unit Test Toolchain for Asynchronous Many-Task Runtime Systems High Performance Computing Computer Systems
A VM testing framework Programming Language Systems Computer Systems
Accelerating Cybersecurity Applications Using GPUs High Performance Computing Computer Systems
Accelerating radiological path length calculations for intensity modulated radiotherapy treatments using parallel processing Algorithms, Human-Centred Computing, Software Engineering Computer Systems, Intelligence
Accelerating Scientific Application Performance via GPUs and the Xeon Phi High Performance Computing Computer Systems
Advanced Optical Imaging and Manipulation II Biomaterials, Computer Vision, Machine Learning, Micro & Nano Systems, Nanomaterials, Optical Devices, Signal Processing, Software Engineering Fabrication
Advanced Smart Buildings with Internet-of-Things and Privacy-Preserving Optimization Data Mining & Matching, Human-Centred Computing, Networked Systems, Planning and Optimisation Energy, Intelligence
Advancing strategic game AI in the StarCraft II AI research environment Human-Centred Computing, Intelligent Agents, Machine Learning, Software Engineering Computer Systems, 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
Analyzing Machine Learning Workloads on Contemporary Processors High Performance Computing, Machine Learning Computer Systems
Applying the mixture density recurrent neural network Machine Learning Intelligence
Architecture and Structure Aware Linear Algebra Algorithms, High Performance Computing, Machine Learning Computer Systems, Intelligence
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
BA/MA research project: A systematic view on Complexity Results for Hierarchical Planning Algorithms, Intelligent Agents, Knowledge Representation & Reasoning, Planning and Optimisation Intelligence, Theory
BA/MA research project: Using AI Planning to model and solve puzzle games Intelligent Agents, Knowledge Representation & Reasoning, Logic, Planning and Optimisation Intelligence
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
Classifying materials for next generation nanotechnologies with machine learning Machine Learning, Manufacturing, Nanomaterials Intelligence, Materials
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
Diagnosis of Hybrid Systems with Model-Checkers Planning and Optimisation Intelligence
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
Elastomer Optics and Microfludics Devices Biomaterials, Manufacturing, Micro & Nano Systems, Nanomaterials Fabrication
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
Exploring Checkpointing for Java on Persistent Memory Programming Language Systems Computer Systems
Extending a State-of-the-art Parallel Communication Algorithm High Performance Computing Computer Systems
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

Pages

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