|
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 |
