Optimising Scientific Collaboration with Federated Learning
Amanda Barnard, Weitong Huang
17 Apr 2023
Collaboration is a cornerstone of successful scientific research. Individual researchers have specific skills, instruments in their lab and resources available to them. This means a group of collaborators will each have unique...
High and Low Dimensional Relationships in Machine Learning
Amanda Barnard, Tommy Liu
17 Apr 2023
The transformation of data from low to high dimensions are an essential part of Data Analytics and Machine Learning as a whole. Popular examples of these transformations involve Matrix Factorisiation (i.e. PCA,...
Self-supervised animal pose estimation and tracking
Michael McCullough, Dylan Campbell
15 May 2023
Scholarship Available - Develop a computer-vision pipeline for self-supervised pose-tracking of larval zebrafish from high-speed recordings of hunting behaviour.
Verified JSON Parsing in CakeML
Michael Norrish
22 May 2023
JSON parsing is a standard and important facility used in many programming languages. This project requires the student to implement verified JSON-parsing for the CakeML programming language.
The John Eccles institute: Creating a Useful Clearing House for Seminars, Lectures, Talks, etc. at the ANU
Hanna Suominen
26 May 2023
Engineering a Bot to capture and re-broadcast neuroinformatics, brain research, and other neuroscience seminar, lecture, and talk announcements at the ANU
Accelerated Satisfaction
Charles Gretton
12 Jun 2023
SAT and #SAT solving in modern heterogeneous HPC environments, making use of GPUs and other accelerators to improve overall scalability and performance.
Discovering Subproblems in SAT and #SAT using HPC
Charles Gretton
12 Jun 2023
Boolean SAT(isfiability) and the related “counting” #SAT problem can be slow to solve on a serial computer. Use distributed HPC to cut formulae up into smaller pieces, so that search can then...
learning to control a primary mirror
Charles Gretton
12 Jun 2023
Reinforcement Learning for Estimation and Control in Terrestrial Telescopes.
Satisfaction can be Relaxing
Charles Gretton
12 Jun 2023
Revisit, review, and evaluate semi-definite programming (SDP) relaxations of the Boolean SAT problem.
Staring at the Night Sky
Charles Gretton
12 Jun 2023
Research state-of-the-art algorithms in statistical machine learning and computer vision, and develop a computer vision system that can classify images of the sky.
Gradual Typing - Language Design and Implementation
Fabian Muehlboeck
23 Jun 2023
Gradual Typing is the idea of using both static and dynamic typing in the same program. Most notably, TypeScript is a gradually-typed version of JavaScript, allowing users to add statically-checked type annotations...
High Performance Computing for phylogenetic simulations
Minh Bui
23 Jun 2023
We are seeking a highly motivated Honours/Masters student to work on a two-semester long project to simulate DNA sequences using high performance computing. Opportunity for a further PhD study is possible depending...
Efficient CEGAR-tableaux for Non-classical Logics
Rajeev Goré
7 Jul 2023
Efficient CEGAR-tableaux for non-classical logics
Formally Verified Automated Reasoning in Non-Classical Logics
Rajeev Goré
7 Jul 2023
Formally Verified Automated Reasoning in Non-Classical Logics
Privacy Focused Federated Collection and Analysis of Diabetic Data
Graham Williams
7 Jul 2023
The incidence of diabetes continues to increase and is forecast to continue to do so. Providing early detection of pre-diabetes and to then support through guidelines is important. As we move towards...
A data assimilation tool for atmospheric winds recovery from sea ice observations
Quanling Deng
11 Jul 2023
Welcome to our exciting project aimed at developing a data assimilation tool for recovering atmospheric winds from sea ice observations.
Machine learning based fast inversion for isogeometric matrices
Quanling Deng
11 Jul 2023
This project aims to develop machine learning-based fast inversion techniques for matrices in implicit isogeometric discretizations. Implicit isogeometric discretizations are known for their accuracy and stability in solving complex time-dependent partial differential...
Programming languages for real-time systems
Amos Robinson
13 Jul 2023
Real-time systems, such as the microcontroller that controls the brakes in a modern car, have strict bounds on the memory usage and compute time: a delay could be disastrous. For systems implemented...
Social choice for boardgames in phone app form.
21 Aug 2023
Design an algorithm to determine which activities should be undertaken with a group where multiple options are available but require a different number of people each. (Think: choosing which game(s) to play...
Taming break points: essential steps toward whole-program analysis of android apps
Xiaoyu Sun
23 Aug 2023
We are seeking highly motivated Honours/Master students to work on a project to investigate the break points in call graphs when performing program analysis on Android apps. Opportunity for a further PhD...
Separate Compilation for a Verified Compiler
Michael Norrish
25 Aug 2023
The verified CakeML compiler compiles a functional language very similar to SML into machine code, and does so in a way guaranteed to be correct by formal proof. However, the compiler must...
Internship—XtreamCompute Pty Ltd (Project 2)
31 Aug 2023
Starting Semester 1, 2024
Internship—XtreamCompute Pty Ltd (Project 1)
31 Aug 2023
Starting Semester 1, 2024
Implementing a Microservice in Go while exploring language-based security isolation enforcement
Alex Potanin
1 Sep 2023
The idea of language based security is to utilise the programming language to enforce certain security guarantees on any programs created using it. For example, Wyvern (http://wyvernlang.github.io/) enforces that only modules given...
Implementing various kinds of ownership in collections libraries in Rust
Alex Potanin
1 Sep 2023
The point is to explore and compare owners-as-dominators, shallow ownership, external uniqueness, owners-as-modifiers, and other variations of ownership (and immutability) from around 20 years ago and how to support them in the...
Internship—Research Graph Foundation
4 Sep 2023
Starting Semester 1, 2024
Internship—Shine Solutions (Project 2)
4 Sep 2023
Starting Semester 1, 2024
Internship—Shine Solutions (Project 1)
4 Sep 2023
Starting Semester 1, 2024
Internship—Penten (Project 1)
5 Sep 2023
Starting Semester 1, 2024
Internship—Penten (Project 2)
5 Sep 2023
Starting Semester 1, 2024
Internship—Penten (Project 3)
5 Sep 2023
Starting Semester 1, 2024
Internship—ITP Renewables
6 Sep 2023
Starting Semester 1, 2024