Privacy-Preserving Perception for Robotics
Yunzhong Hou, Dylan Campbell, Rahul Shome
28 Jan 2024
Building a robotic vision system that avoids collecting privacy-sensitive data (e.g. faces or licence plates) while perceiving the world.
Making robots play music
Charles Martin, Rahul Shome
9 Feb 2024
This project is in the field of musical robotics, an area where researchers consider the many difficulties involved in teaching robots to play musical instruments by themselves, in groups, or in collaboration...
Responsible AI Research Projects @ANU-Xiaoyu Sun
Xiaoyu Sun
12 Feb 2024
We are seeking highly motivated Honours/Master students to work on the following research projects to progress responsible AI research. Opportunity for a further PhD study is possible depending on student’s performance in these...
Model-Heterogeneous Federated Learning
Amanda Barnard AM
15 Feb 2024
Federated Learning is a new paradigm of distributed machine learning that enables multiple clients with private data to collaboratively build a high-performance prediction model. In federated learning, the training process is coordinated...
Ultra-fast Photonic Computing for Deep Learning Acceleration
Amanda Barnard AM
15 Feb 2024
Large-scale deep learning models with millions and even billions of parameters are commonly used to achieve exceptional performance. However, training such models on existing electronic hardware such as GPU can take anywhere...
High Performance Computing for phylogenetic simulations
Minh Bui
18 Mar 2024
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...
Machine learning for social goods: Health economic evaluation
Minh Bui
18 Mar 2024
THIS POSITION IS NOW FILLED. We no longer consider new applications.
Building a Programming Language Ecosystem
Fabian Muehlboeck
3 Apr 2024
In the course of research on language design and implementation for gradually-typed languages, we have created a programming language called MonNom as a test bed for new ideas and to benchmark implementation...
Gradual Typing - Language Design and Implementation
Fabian Muehlboeck
3 Apr 2024
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...
Language Design for IDEs
Fabian Muehlboeck
3 Apr 2024
Prerequisites A good understanding of programming in a statically typed language. It is useful if you have already taken a compilers course or have acquired a basic understanding of parsing elsewhere. It...
Research Projects with Graph Research Lab @ ANU
Qing Wang
11 Apr 2024
Graph Research Lab @ ANU (https://graphlabanu.github.io/website/) aims to investigate graph-related problems by marrying the best of two worlds: traditional graph algorithms and new machine learning techniques to bridge the gap between combinatorial...
GoSource Internship
12 Apr 2024
This position is offered through the ANU Computing Internship ([COMP3820] /[ COMP4820] / [COMP8830])
Concurrent Data Structure
Peter Hoefner, Roger Su
17 Apr 2024
24-credit only
Executable Process Algebras
Peter Hoefner, Fabian Muehlboeck
17 Apr 2024
Process Algebras (or Process Calculi) are a diverse family of related approaches for formally modelling concurrent, distributed and parallel systems. Theyi provide a tool for the high-level description of interactions, communications, and synchronizations...
Finding Attacks by means of Predicate Transformers
Peter Hoefner, Michael Norrish
17 Apr 2024
Keywords: formal methods, concurrent systems, Hoare logic Unit: 24 credits
Implementing a Semantics for Pipelining in Racket
Roger Su, Peter Hoefner, Fabian Muehlboeck
17 Apr 2024
Keywords: Concurrency; operational semantics; memory models Units: 12/24 units
Mechanisation of the milli Common Representation Language
Peter Hoefner, Chun Tian
17 Apr 2024
Keywords: process algebra, Isabelle/HOL, proof mechanisation Units: 24 units
Modelling, Analysing and Verifying Routing Protocols
Peter Hoefner, Ian Shillito
17 Apr 2024
Keywords: process algebra, formal modelling, formal methods Units: 12/24 units
Reasonable Fairness Assumptions for Mutual Exclusion Protocol
Roger Su, Peter Hoefner
17 Apr 2024
Keywords: transition system, formal reasoning, liveness properties Units: 24 units
The Edinburgh Concurrency Workbench in HOL4
Chun Tian
17 Apr 2024
Keywords: Interactive Theorem Proving, Proof Mechanisation, Higher Order Logic, Concurrency Theory Units: 24 units
Unit-Testing a Parser
Peter Hoefner
17 Apr 2024
In the past , we have developed a parser for a formal language, called AWN, which features a formal syntax and formal semantics. The parser is written in Scala, using the processing...
Geometric Route Planning
Muhammad Farhan, Qing Wang
23 Apr 2024
Finding the shortest path or distance between two points on a surface S in three-dimensional space is an important problem in both differential geometry and computational geometry. When referring to S, the...
XtreamCompute Internship
2 May 2024
This position is offered through the ANU Computing Internship ([COMP3820] /[ COMP4820] / [COMP8830])
Department of Industry, Science and Resources Internship
6 May 2024
This position is offered through the ANU Computing Internship ([COMP3820] /[ COMP4820] / [COMP8830])
Shine Solutions Internship: AHSOKA - An modular ML enhanced and API driven inventory system
6 May 2024
This position is offered through the ANU Computing Internship ([COMP3820] /[ COMP4820] / [COMP8830])
Shine Solutions Internship: AIM2 - An AI-powered multi-language meeting minutes taker
6 May 2024
This position is offered through the ANU Computing Internship ([COMP3820] /[ COMP4820] / [COMP8830])
Intelligent musical instrument projects with IMPSy
Charles Martin
6 May 2024
AI models for guiding collaborative performance
Charles Martin
6 May 2024
Trellis Data Group: Data Migration and ML Model Training APIs Integration
6 May 2024
This position is offered through the ANU Computing Internship ([COMP3820] /[ COMP4820] / [COMP8830])
Trellis Data Group Internship: Simplified AI Model Management and Orchestration System
6 May 2024
This position is offered through the ANU Computing Internship ([COMP3820] /[ COMP4820] / [COMP8830])
Liquid Instruments Internship: Implement automatic app updating in macOS and Windows apps
8 May 2024
This position is offered through the ANU Computing Internship ([COMP3820] /[ COMP4820] / [COMP8830])
Liquid Instruments Internship: Port a Moku
8 May 2024
This position is offered through the ANU Computing Internship ([COMP3820] /[ COMP4820] / [COMP8830])
Tailored Accounts Internship: Automation Solutions Intern
8 May 2024
This position is offered through the ANU Computing Internship ([COMP3820] /[ COMP4820] / [COMP8830])
Exploring Kolmogorov-Arnold Networks (KANs) for Materials Informatics Applications
Amanda Barnard AM
9 May 2024
Are KANs better than MLPs for real-world applications?
Research Graph Foundation Internship: AI for Business Intelligence
9 May 2024
This position is offered through the ANU Computing Internship ([COMP3820] /[ COMP4820] / [COMP8830])
Research Graph Foundation Internship: AI Vision
9 May 2024
This position is offered through the ANU Computing Internship ([COMP3820] /[ COMP4820] / [COMP8830])
Research Graph Foundation Internship: Knowledge Mining
9 May 2024
This position is offered through the ANU Computing Internship ([COMP3820] /[ COMP4820] / [COMP8830])
Trellis Data Group Internship: Faster, Higher, Stronger - Optimising Deep Learning Models
9 May 2024
This position is offered through the ANU Computing Internship ([COMP3820] /[ COMP4820] / [COMP8830])
Naturehelm Internship:Data Integration and Analytics Internship
10 May 2024
This position is offered through the ANU Computing Internship ([COMP3820] /[ COMP4820] / [COMP8830])
Naturehelm Internship: Developing an end-to-end test harness
10 May 2024
This position is offered through the ANU Computing Internship ([COMP3820] /[ COMP4820] / [COMP8830])
Wildlife Drones Internship: User interface improvements
10 May 2024
This position is offered through the ANU Computing Internship ([COMP3820] /[ COMP4820] / [COMP8830])
Story planning: unlimiting creativity
Patrik Haslum, Hanna Suominen
1 Jun 2024
The plot (or narrative) of a story has some similarity with a plan, as it is usually defined in classical AI planning. This has led researchers to investigate planning-based approaches to automatic...
Case Studies for Formal Methods
Peter Hoefner
11 Jun 2024
formal methods, formal modelling
[$10K Scholarship for domestic Honours] Justice in the Metaverse
Penny Kyburz
25 Jun 2024
$10K stipend, $5K training allowance, apply by 14 July
A web interface for creating musical AI systems
Charles Martin
1 Jul 2024
Cut Elimination for Lambek Calculus (Categorial Grammar)
Chun Tian, Ian Shillito
3 Jul 2024
Keywords: Interactive Theorem Proving, Proof Mechanisation, Higher Order Logic, NLP Units: 12/24 units
Mechanised Graph Theory - Advanced Topics
Chun Tian, Michael Norrish
3 Jul 2024
Keywords: Interactive Theorem Proving, Proof Mechanisation, Higher Order Logic, Graph Theory Units: 24 units
Mechanised Graph Theory
Michael Norrish, Chun Tian
3 Jul 2024
Keywords: Interactive Theorem Proving, Proof Mechanisation, Higher Order Logic, Graph Theory Units: 12/24 units
Graph Embedding for Road Network Clustering
Mengxuan Zhang
8 Jul 2024
Introduction
Mechanised Probability Theory - Central Limit Theorem
Chun Tian
8 Jul 2024
Probability Theory, HOL4, Interactive Theorem Proving, Proof Mechanisation
Mechanised Probability Theory - Martingales
Chun Tian
8 Jul 2024
Interactive Theorem Proving, Proof Mechanisation, Higher Order Logic, Probability Theory
Deep Learning for Efficient Route Planning
Qing Wang, Muhammad Farhan
16 Jul 2024
Finding optimal routes between two points in a road network is a crucial challenge for navigation platforms used by millions of users daily. Users typically seek routes that minimize travel distance or...
AI for Science
John Taylor
19 Jul 2024
AI/ML methods are revolutionizing scientific discovery. In this project we invite you to build novel AI/Ml Algorithms and apply them to a range of challenging science and engineering domains. Example application areas...
New approaches to HPC: Cache only programming
John Taylor, Shoaib Akram
19 Jul 2024
With the growth in the size of HPC systems measured for example in the number of CPUs and the growth in the amount of cache, especially L3 cache per CPU, it is...
Predicting Student Enrolment Numbers
Peter Hoefner, Bernardo Nunes
22 Jul 2024
(6+6 project only)
Programming Language Design Projects with Alex
Alex Potanin
1 Jan 2025
I work on the intersection of security and programming languages. My own research language is Wyvern but I am also interested in modern languages such as Rust. I work on ownership, immutability,...