Student research projects

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

128 Projects

Project namesort descending Area Theme
A Graphical User Interface for Displaying Proofs
Efficient and Scalable Theorem Proving in Propositional DynamicLogic with Converse.
***Available projects for S2 2021***
2
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
AI-Driven Game Customisation
An LLVM-based Mu implementation
Analysing Voting Schemes Using Logic
Applying the mixture density recurrent neural network
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
Benchmarking GPU performance portability across programming models
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
Classification of Nanoporous Semiconductor Materials using Supervised and Unsupervised Learning
Context-aware document analysis
Corrosion testing of new alloys
Creative Computing in Augmented Reality
Data61 Projects in Machine Learning and Computer Vision *2 New Added*
Deep Learning for classification of building materials using hyperspectral imaging
Deep Learning for Information Extraction
Detecting and Characterising Novelty with Qualitative Abstractions of a Physical Environment
Development of a Recommender System for Design of Next Generation Battery Materials
Development of efficient and stable perovskite-silicon tandem solar modules
Development of novel particle receivers
Diagnose COVID-19 from Cough Signals
Discovering Inconsistent Data in a Dynamic World
Discriminating real from machine-learning generated music
Dynamic Knowledge Tracing
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 Metallic Nanoparticle Descriptors for Supervised and Unsupervised Learning
Evaluation of the cost of language abstractions and features
Evolutionary music making
Explainable Text Classification: Producing performant solutions using hybrid lexicon-based approaches
Faster Decision-Theoretic Planning using Boolean-Constraint Propagation
Finding Attacks by means of Predicate Transformers
Finding Minimal Unsatisfiable Subsets in Temporal Logic

Pages

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