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 |