Student research projects

159 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 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
Advanced entity resolution using Markov logic networks Data Mining & Matching Intelligence
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
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, 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 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
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
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-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
Cut City Air Pollution Using ICT Human-Centred Computing Energy Undergraduate, Single undergraduate degree, Combined undergraduate degree, Advanced undergraduate degree, Summer scholar course, Honours, Graduate, 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, Graduate, Higher degree by research, Non-award
Developing a Data Matching Markup Language (DMML) Data Mining & Matching Intelligence
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, Graduate, Higher degree by research
Discovering pathways from large databases Human-Centred Computing Systems
Efficient Propositional Proof Compression Logic Theory Summer scholar course, Honours
Energy modelling of households using renewable energy technologies in Australia Photovoltaics Energy Undergraduate, Single undergraduate degree, Combined undergraduate degree, Advanced undergraduate degree, Summer scholar course, Honours, Graduate, Masters coursework

Pages

Updated:  8 September 2015/Responsible Officer:  Head of School/Page Contact:  CECS Marketing