Student research projects

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

50 Projects

Project namesort descending Area Theme Eligible degree types
Async-Sync Learning System Human-Centred Computing Information Undergraduate, Honours, Postgraduate, Graduate certificates, Graduate diplomas, Masters coursework, Masters coursework & research, Non-award
*NEW* High-Performance Computing for Parallel Boolean SAT(isfiability) Solving Higher degree by research
A Data-driven Self-aware Smart Building with Internet-of-Things Data Mining & Matching, Human-Centred Computing, Networked Systems, Planning and Optimisation Energy, Intelligence Undergraduate, Honours, Postgraduate, Higher degree by research
A Unit Test Toolchain for Asynchronous Many-Task Runtime Systems High Performance Computing Systems Higher degree by research
Accelerating Cybersecurity Applications Using GPUs High Performance Computing Systems Undergraduate, Honours, Postgraduate, Masters coursework & research, Higher degree by research
Advanced Optical Imaging and Manipulation II Biomaterials, Computer Vision, Machine Learning, Micro & Nano Systems, Nanomaterials, Optical Devices, Signal Processing, Software Engineering Fabrication Undergraduate, Single undergraduate degree, Combined undergraduate degree, Advanced undergraduate degree, Summer scholar course, Honours, Postgraduate, Graduate certificates, Graduate diplomas, Masters coursework, Masters coursework & research, Graduate entry medicine, Higher degree by research
AI for Software System Security Planning and Optimisation Intelligence, Systems, Theory Undergraduate, Single undergraduate degree, Combined undergraduate degree, Advanced undergraduate degree, Summer scholar course, Graduate certificates, Graduate diplomas, Masters coursework, Masters coursework & research, Higher degree by research
Algorithms for Modal Types Logic, Programming Languages, Design & Implementation Theory Undergraduate, Summer scholar course, Honours, Postgraduate, Higher degree by research
An Intelligent Learning Framework based on Knowledge Graphs Databases, Intelligent Agents, Machine Learning Theory Advanced undergraduate degree, Summer scholar course, Honours, Postgraduate, Higher degree by research
Analyzing Machine Learning Workloads on Contemporary Processors High Performance Computing, Machine Learning Systems Undergraduate, Masters coursework
Application of Agile Tools in a Student Support Environment Software Engineering Systems Undergraduate, Single undergraduate degree, Combined undergraduate degree, Advanced undergraduate degree, Honours, Postgraduate, Masters coursework, Masters coursework & research
Augmented Reality with Phones for Way Finding and Help Human-Centred Computing Systems Advanced undergraduate degree, Masters coursework
Automatic Synthesis of ZRTP Protocol Code Logic Theory Undergraduate, Single undergraduate degree, Combined undergraduate degree, Advanced undergraduate degree, Honours, Postgraduate, Masters coursework, Masters coursework & research, Higher degree by research
Benchmarking OpenCL for High-Performance Scientific Computing High Performance Computing Systems Advanced undergraduate degree, Summer scholar course, Honours
Better modelling of rich theories Knowledge Representation & Reasoning, Logic Intelligence, Theory Single undergraduate degree, Combined undergraduate degree, Advanced undergraduate degree, Honours, Masters coursework & research, Higher degree by research
Choose Your Own Project (CYOP) Intelligent Agents, Machine Learning, Planning and Optimisation Information, Intelligence Undergraduate, Advanced undergraduate degree, Summer scholar course, Honours, Postgraduate, Graduate certificates, Graduate diplomas, Masters coursework, Masters coursework & research, Higher degree by research, Non-award
Counter example guided planning in uncertain environments Planning and Optimisation Intelligence Honours, Masters coursework & research, Higher degree by research
Diagnosis of Hybrid Systems with Model-Checkers Planning and Optimisation Intelligence Summer scholar course, Honours, Masters coursework
Discovering Inconsistent Data in a Dynamic World Algorithms, Data Mining & Matching, Databases Theory Undergraduate, Honours, Postgraduate, Higher degree by research
Dynamic Knowledge Tracing Knowledge Representation & Reasoning, Machine Learning Advanced undergraduate degree, Summer scholar course, Honours, Masters coursework & research, Higher degree by research
Embedding IT-enabled decision support tools to improve quality of care for patients hospitalized with heart failure Databases, Human-Centred Computing, Machine Learning Intelligence Honours, Masters coursework & research, Higher degree by research
Entity Resolution: From Similarity to Patterns Data Mining & Matching, Databases, Machine Learning Theory Undergraduate, Honours, Postgraduate, Higher degree by research
Extending a State-of-the-art Parallel Communication Algorithm High Performance Computing Systems Undergraduate, Honours, Masters coursework
Faster Decision-Theoretic Planning using Boolean-Constraint Propagation Planning and Optimisation Intelligence Undergraduate, Single undergraduate degree, Combined undergraduate degree, Advanced undergraduate degree, Summer scholar course, Honours, Postgraduate, Masters coursework & research, Higher degree by research
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 Undergraduate, Single undergraduate degree, Combined undergraduate degree, Advanced undergraduate degree, Summer scholar course, Honours, Postgraduate, Graduate certificates, Graduate diplomas, Masters coursework, Masters coursework & research, Graduate entry medicine, Higher degree by research, Non-award
Formal Verification of the ZRTP Security Protocol Logic Theory Single undergraduate degree, Combined undergraduate degree, Advanced undergraduate degree, Honours, Postgraduate, Masters coursework, Masters coursework & research
Formally Verified Vote Counting: The case of Fractional Transfer Values Logic Theory Undergraduate, Single undergraduate degree, Combined undergraduate degree, Advanced undergraduate degree, Summer scholar course, Honours, Postgraduate, Masters coursework & research, Higher degree by research, Non-award
Generic Reinforcement Learning Agents (GRLA) Intelligent Agents Intelligence, Theory Advanced undergraduate degree, Summer scholar course, Honours, Masters coursework & research, Higher degree by research, Non-award
Graph Analytics Algorithms, Databases, Machine Learning Theory Undergraduate, Honours, Postgraduate, Higher degree by research
High Performance Physical Simulation with the Julia Language High Performance Computing, Programming Languages, Design & Implementation Systems Advanced undergraduate degree, Summer scholar course, Honours
Human Knowledge Compression Contest (HKCC) Intelligent Agents Intelligence, Theory Undergraduate, Summer scholar course, Honours, Postgraduate
Infrastructure and Techniques to Accelerate Operational Weather Codes on Next-generation Supercomputers High Performance Computing Systems Honours, Masters coursework & research, Higher degree by research
Innovative Machine Intelligence and Cybersecurity Solutions to Safeguard the Patient Information Associated with a New Generation of Medical Devices Data Mining & Matching, Human-Centred Computing, Machine Learning, Networked Systems, Sensors, Signal Processing Intelligence, Systems Higher degree by research
Learning, Representing and Exploiting Sequential Nogoods in Planning Planning and Optimisation Intelligence Undergraduate, Single undergraduate degree, Combined undergraduate degree, Advanced undergraduate degree, Summer scholar course, Honours, Postgraduate, Masters coursework & research, Higher degree by research
Logical Reasoning for Linked Data Databases, Logic, Machine Learning Theory Undergraduate, Honours, Postgraduate, Higher degree by research
Lossless Data Compression (LLDC) Machine Learning Intelligence Undergraduate, Advanced undergraduate degree, Summer scholar course, Honours, Postgraduate, Graduate certificates, Graduate diplomas, Masters coursework & research, Higher degree by research, Non-award
Making 3D Scientific Applications Fault Tolerant High Performance Computing Systems Undergraduate, Honours, Masters coursework
Mathematical Foundations of Artificial Intelligence (MFAI) Intelligent Agents, Machine Learning, Planning and Optimisation Intelligence, Theory Undergraduate, Advanced undergraduate degree, Summer scholar course, Honours, Postgraduate, Graduate certificates, Graduate diplomas, Masters coursework, Masters coursework & research, Higher degree by research, Non-award
Objective Measurement in Return-To-Sport following Anterior Cruciate Ligament Reconstruction Intelligent Agents Intelligence Higher degree by research
On the Foundations of Inductive Reasoning (FIR) Intelligent Agents, Machine Learning Intelligence Undergraduate, Advanced undergraduate degree, Summer scholar course, Honours, Postgraduate, Graduate certificates, Graduate diplomas, Masters coursework, Masters coursework & research, Higher degree by research, Non-award
Predicting Scientific Application Performance on Ultra-large Scale Supercomputers High Performance Computing Systems Honours, Masters coursework & research, Higher degree by research
Quantifying the Difficulty of Easy Decision-Theoretic Planning Problems Planning and Optimisation Intelligence Undergraduate, Single undergraduate degree, Combined undergraduate degree, Advanced undergraduate degree, Summer scholar course, Honours, Postgraduate, Masters coursework & research, Higher degree by research
Redirection for Pathfinding based on Compressed Path Database Planning and Optimisation Intelligence Advanced undergraduate degree, Summer scholar course, Honours
Reliable Numerical Computing for Physical Simulation High Performance Computing Systems Advanced undergraduate degree, Summer scholar course, Honours, Masters coursework & research, Higher degree by research
Resilience from Soft Faults in Large-scale Scientific Simulations High Performance Computing Systems Honours, Masters coursework & research, Higher degree by research
Resilient Programming Models for One-Sided Communications High Performance Computing, Programming Languages, Design & Implementation Systems Higher degree by research
SAT-based Planning Using Split Representations: Quantifying the Separation Planning and Optimisation Intelligence Undergraduate, Single undergraduate degree, Combined undergraduate degree, Advanced undergraduate degree, Summer scholar course, Honours, Postgraduate, Masters coursework & research, Higher degree by research
Software Architectures for Techlauncher Human-Centred Computing Systems Single undergraduate degree, Combined undergraduate degree, Advanced undergraduate degree, Masters coursework, Masters coursework & research
Student Research Project Management System Databases, Human-Centred Computing, Networked Systems, Software Engineering Systems Undergraduate, Single undergraduate degree, Combined undergraduate degree, Advanced undergraduate degree, Postgraduate, Masters coursework, Masters coursework & research, Non-award
Universal Artificial Intelligence (UAI) Intelligent Agents, Machine Learning, Planning and Optimisation Information, Intelligence, Theory Undergraduate, Advanced undergraduate degree, Summer scholar course, Honours, Postgraduate, Graduate certificates, Graduate diplomas, Masters coursework, Masters coursework & research, Higher degree by research, Non-award

Updated:  1 September 2018/Responsible Officer:  Head of School/Page Contact:  CECS Marketing