You are here
» Current students » Student research projectsStudent research projects
46 Projects
Project name |
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 | ||
| *NEW* 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 |
| *NEW* Video Games (Choose your own adventure) | Algorithms, Human-Centred Computing, Intelligent Agents, Machine Learning, Software Engineering | Intelligence, Systems | Undergraduate, Honours, Postgraduate, Higher degree by research |
| *RE-OPEN* 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
