Student research projects

Please note that this Student Research Projects directory has been identified for future retirement and may not be up to date.

For the latest information on the various projects that are underway in our College, please refer to the local information shared on the School of Engineering, School of Computing, and School of Cybernetics sites.

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

134 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
Advanced Topic Modelling for BioInformatic Software Platform
Algorithms and Machine Learning on Graphs
An LLVM-based Mu implementation
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
Building Computational Model for Emphatic Avatars/Robots
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 DL and BERT Methods on Commits Sentiment Analysis
Context-aware document analysis
Corrosion testing of new alloys
Deep Interpretable Forward and Inverse Scientific Prediction using TabNet
Deep Learning for Information Extraction
Detecting and Characterising Novelty with Qualitative Abstractions of a Physical Environment
Developing machine learning algorithms to identify forest structural characteristics from earth observation data on a regional scale, Australia
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
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
Evaluating ML methods for semi-structured data
Evaluation of the cost of language abstractions and features
Explainable Text Classification: Producing performant solutions using hybrid lexicon-based approaches
Exploring Human-AI interaction in collaborative game
Extension of entanglement analysis on dense polymer systems to obtain topological descriptors
Faster Decision-Theoretic Planning using Boolean-Constraint Propagation


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