Student research projects

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

210 Projects

Project namesort descending Area Theme Eligible degree types
A Graphical User Interface for Displaying Proofs Logic Theory Honours, Graduate
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, Graduate, 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, Graduate, 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
Accurate Depth Estimation from Stereo Camera Computer Vision Information
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, Graduate, 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, Graduate, 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, Graduate, 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
Assessment of optical error budgets for heliostats Solar Thermal Energy Undergraduate, Summer scholar course, Honours
Automated Data Cleaning Via Logic Logic Theory Undergraduate, Summer scholar course, Honours, Graduate
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, Graduate
Automatic Feature Learning for Group Emotion Recognition Computer Vision Information
Automatic Synthesis of ZRTP Protocol Code Logic Theory Undergraduate, Single undergraduate degree, Combined undergraduate degree, Advanced undergraduate degree, Honours, Graduate, Masters coursework, Masters coursework & research, Higher degree by research
Automating natural deduction proofs Logic Theory
BE Honours and Master Projects in Communications Communications Information Undergraduate, Honours, Graduate
BE R&D Projects in Communications and Signal Processing Communications, Signal Processing Information Undergraduate, Honours
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, Graduate, Higher degree by research
Building an Integrated Learning Platform based on Knowledge Graphs Advanced undergraduate degree, Summer scholar course, Honours, Graduate, 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
Card Counter: Recognizing a Set of Planar Textures using Mobile Phone Camera Computer Vision Information
CFD and radiation characterisitic study of design of novel free falling particle receivers Undergraduate, Honours, Graduate
Channel Estimation and Synchronisation in Molecular Communications Systems Communications Information Undergraduate, Single undergraduate degree, Combined undergraduate degree, Advanced undergraduate degree, Honours
Choose Your Own Project (CYOP) Intelligent Agents, Machine Learning, Planning and Optimisation Information, Intelligence Undergraduate, Advanced undergraduate degree, Summer scholar course, Honours, Graduate, 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
Computing Optimal Genome Edit Distances via Heuristic Search Planning and Optimisation Intelligence Undergraduate, Honours, Graduate
Consumer-Oriented Social Media Human-Centred Computing Systems
Cost optimisation of DSG thermal storage system Solar Thermal Energy
Cost-Bounded Search and Planning Planning and Optimisation Intelligence Undergraduate, Honours, Graduate
Counter example guided planning in uncertain environments Planning and Optimisation Intelligence Honours, Masters coursework & research, Higher degree by research

Pages

Updated:  1 January 2018/Responsible Officer:  Dean, CECS/Page Contact:  CECS Marketing