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
Implementing routing protocols in NS-3
Ian Shillito, Peter Hoefner
17 Apr 2024
Keywords: routing protocol, network, network simulator, programming. Units: 12 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
Social choice for boardgames in phone app form
Michael Norrish, Peter Hoefner
17 Apr 2024
Design and implement 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)...
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...
User-Friendly IDE for the language AWN
Peter Hoefner, Roger Su
17 Apr 2024
The techniques we use for modelling, analysing and verifying routing and communication protocols are based on the simple programming language AWN, which offers expressions for (arbitrary) data structures and basic primitives, such...
Verifying Elements of Algorithmic Graph Theory
Peter Hoefner, Roger Su
17 Apr 2024
Keywords: relation algebra, verification, graph algorithms, proof mechanisation Units: 12/24 units
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])
Programming Language Design Projects with Alex
Alex Potanin
15 May 2024
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,...
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