Navigation menu menu

Student research projects

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

155 Projects

Project namesort descending Area Theme Eligible degree types
A Graphical User Interface for Displaying Proofs Logic Theory Honours, Postgraduate
Async-Sync Learning System Human-Centred Computing Information Undergraduate, Honours, Postgraduate, Graduate certificates, Graduate diplomas, Masters coursework, Masters coursework & research, Non-award
Efficient and Scalable Theorem Proving in Propositional DynamicLogic with Converse. Logic Theory Honours
3Worlds - various projects Software Engineering Systems
A decomposition algorithm for the min k-partition problem Algorithms Theory Advanced undergraduate degree, Summer scholar course, Honours, Graduate certificates, Masters coursework, Masters coursework & research, Higher degree by research
A Framework for Implementing Modal Logics Using the BDD Method Logic Theory Honours
A micro VM Implementation Programming Languages, Design & Implementation Systems Undergraduate, Advanced undergraduate degree, Summer scholar course, Honours, Postgraduate, Masters coursework & research, Higher degree by research
A Relatively-Secure, Privacy-Friendly Browser Human-Centred Computing Systems
A Unit Test Toolchain for Asynchronous Many-Task Runtime Systems High Performance Computing Systems Higher degree by research
A VM testing framework Programming Languages, Design & Implementation Systems Honours
Accelerating Cybersecurity Applications Using GPUs High Performance Computing Systems Undergraduate, Honours, Postgraduate, Masters coursework & research, Higher degree by research
Accelerating Scientific Application Performance via GPUs and the Xeon Phi High Performance Computing Systems Advanced undergraduate degree, Honours, Masters coursework & 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
Algorithmic Analysis of Cyber-Physical Systems Algorithms, Logic, Planning and Optimisation, Programming Languages, Design & Implementation, Software Engineering Intelligence, Systems, Theory Undergraduate, Honours, Postgraduate, Higher degree by research, Non-award
An LLVM-based Mu implementation Programming Languages, Design & Implementation Systems Honours
Analysing Voting Schemes Using Logic Logic Theory Undergraduate, Summer scholar course, Honours, Postgraduate, Masters coursework & research
Analyzing Machine Learning Workloads on Contemporary Processors High Performance Computing, Machine Learning Systems Undergraduate, Masters coursework
Android app development
Are Election Laws Consistent? Machine Learning Intelligence
As good as it gets: maximal satisfiability for lifted EP theories Logic Theory
Automated Data Cleaning Via Logic Logic Theory Undergraduate, Summer scholar course, Honours, Postgraduate
Automated Planning for Cyber-Security Red-Teaming Planning and Optimisation Intelligence Advanced undergraduate degree, Masters coursework & research, Higher degree by research
Automated Reasoning for Artificial Intelligence Logic Theory Undergraduate, Summer scholar course, Honours, Postgraduate
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
Automating natural deduction proofs Logic Theory
Bee species identification from images Machine Learning Intelligence
Best-first proof search for non-classical logics Logic Theory
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
Binocular Rivalry, EEG, and Machine Learning Machine Learning Intelligence Honours, Masters coursework & research, Higher degree by research
Boosting Tsunami and Heart Modeling Application Performance on a Graphics Processing Unit High Performance Computing Systems
Building a Better Home Sleep Tracking System Machine Learning Intelligence Honours, Postgraduate, Higher degree by research
Building an Integrated Learning Platform based on Knowledge Graphs Advanced undergraduate degree, Summer scholar course, Honours, Postgraduate, Higher degree by research
Business Speak, Doctors' Latin, and Layers' French: Improving Information Access for People Unfamiliar with Professional Jargon Machine Learning Intelligence 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
Cognitive Learning Content Human-Centred Computing Systems Advanced undergraduate degree, Honours, Masters coursework & research, Higher degree by research
Combining multiple satellites for better Australia soil moisture products Human-Centred Computing Systems
Commercialisation and Entrepreneurship in Technology Human-Centred Computing Systems
Consumer-Oriented Social Media Human-Centred Computing Systems
Counter example guided planning in uncertain environments Planning and Optimisation Intelligence Honours, Masters coursework & research, Higher degree by research
Cut City Air Pollution Using ICT Human-Centred Computing Energy Undergraduate, Single undergraduate degree, Combined undergraduate degree, Advanced undergraduate degree, Summer scholar course, Honours, Postgraduate, Graduate certificates, Graduate diplomas, Masters coursework, Masters coursework & research, Higher degree by research
Debugging Logic and Search Logic Theory
Deep check: Deep learning based Grammar Checker Machine Learning Information Advanced undergraduate degree, Honours, Masters coursework, Masters coursework & research
Deep Learning for Information Extraction Machine Learning Intelligence Advanced undergraduate degree, Honours, Masters coursework & research, Higher degree by research
Deep Learning for Music Composition Machine Learning Intelligence Undergraduate, Honours, Postgraduate, Higher degree by research, Non-award
Diagnosis of Hybrid Systems with Model-Checkers Planning and Optimisation Intelligence Summer scholar course, Honours, Masters coursework
Discovering Inconsistent Data in a Dynamic World Databases Theory Undergraduate, Honours, Postgraduate, Higher degree by research
Discovering pathways from large databases Human-Centred Computing Systems
Efficient Propositional Proof Compression Logic Theory Summer scholar course, Honours
Entity Resolution: From Similarity to Patterns Databases Theory Undergraduate, Honours, Postgraduate, Higher degree by research

Pages

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