Student research projects

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

241 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
1A - Preparing, Building & Deploying the anusolar Rpackage for solar modelling and forecasting Undergraduate, Honours
1A Industry-Partnered Distributed Solar & Storage Modelling and Forecasting Projects Energy Storage, Machine Learning, Photovoltaics Energy Undergraduate, Honours
3Worlds - various projects Software Engineering Systems
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 entity resolution using Markov logic networks Data Mining & Matching Intelligence
Advanced In-vivo Imaging and Manipulation Biomaterials, Computer Vision, Machine Learning, Micro & Nano Systems, Optical Devices, Signal Processing, Software Engineering Fabrication Undergraduate, Honours, Graduate
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
Analysis of Desert Knowledge Solar Centre data Photovoltaics Energy
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 Intelligence 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, Non-award
Classification of historical death and occupation coding Data Mining & Matching Intelligence Honours, Graduate, Masters coursework, Masters coursework & research, Higher degree by research
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

Pages

Updated:  8 September 2015/Responsible Officer:  Dean, CECS/Page Contact:  CECS Marketing