Student research projects

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

135 Projects

Project namesort descending Area Theme
A Graphical User Interface for Displaying Proofs
Efficient and Scalable Theorem Proving in Propositional DynamicLogic with Converse.
A Framework for Implementing Modal Logics Using the BDD Method
A VM testing framework
Accelerating radiological path length calculations for intensity modulated radiotherapy treatments using parallel processing
Additive manufacturing of aluminium alloy
Additive manufacturing of magnesium alloy
Advanced Topic Modelling for BioInformatic Software Platform [Hons, Open]
AI-Driven Game Customisation
Algorithms for efficient representation of biological pathogens
Aligning streamed genome sequences
An LLVM-based Mu implementation
Analysing and Classifying GitHub Issues in R/Python
Analysing Voting Schemes Using Logic
Applying advanced software testing practices to enhance maintainability of IQ-TREE
Architecture and Data Structure Aware Linear Algebra
Architecture-Independent Workload Characterization to Support Benchmark Consistency
Atomically thin opto-electronic devices (LED, solar cells) and/or mechanical devices based on novel two dimensional nano-materials
Automated Data Cleaning Via Logic
Automated decision-making and learning under uncertainty for Robotics: Multiple PhD Projects
Automated Reasoning for Artificial Intelligence
Automated Reasoning for Situational Awareness
Automatic Synthesis of ZRTP Protocol Code
Autonomous Sniffer Robot
Benchmarking GPU performance portability across programming models
Benchmarking Scientific Application Performance in the Chapel Language
Binocular Rivalry, EEG, and Machine Learning
CFD and radiation characterisitic study of design of novel free falling particle receivers
Chemical vapor deposition (CVD) of 2-dimensional organic-inorganic perovskite semiconductors
Clean energy solutions on the Great Barrier Reef - PhD project
Comparing Classifiers for Sentiment Analysis on Commit Messages
Comparing DL and BERT Methods on Commits Sentiment Analysis
Computational Automation of Biomarker Discovery with Flow Cytometry Data and Machine Learning
Context-aware document analysis
Corrosion testing of new alloys
Deep Learning for Information Extraction
Detecting and Characterising Novelty with Qualitative Abstractions of a Physical Environment
Development and operation of a measurement system for recording fuel moisture content for field use
Development of efficient and stable perovskite-silicon tandem solar modules
Development of novel particle receivers
Diagnose COVID-19 from Cough Signals Audio & Acoustic Signal Processing
Diagnosis of Hybrid Systems with Model-Checkers
Diagnostic Data: Machine learning with cell abundance datasets for disease detection
Documenting R Packages: What is a good example? (Hons) [Open]
Electric vehicles as emergency backup power
Embedding IT-enabled decision support tools to improve quality of care for patients hospitalized with heart failure
Erlang and Mu
Evaluation of Descriptors for Archetypal Analysis of Metallic Nanoparticles
Evaluation of the cost of language abstractions and features


Updated:  10 August 2021/Responsible Officer:  Dean, CECS/Page Contact:  CECS Marketing