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

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

Intelligent musical instrument projects with IMPSy

Charles Martin

6 May 2024

AI models for guiding collaborative performance

Charles Martin

6 May 2024

Exploring the Effect of Road Network Characteristics on Shortest Path Computation

Mengxuan Zhang

7 May 2024

Shortest path (SP) computation in Road Networks is the building block for various real-life applications such as the vehicle navigation, logistic transportation, carpooling, take-out delivery, etc. Over the decades, many SP algorithms...

Exploring Kolmogorov-Arnold Networks (KANs) for Materials Informatics Applications

Amanda Barnard AM

9 May 2024

Are KANs better than MLPs for real-world applications?

A Brief Benchmark Test of Approximate Nearest Neighbor Search in Vector Database

Mengxuan Zhang

22 May 2024

Introduction

Representation Learning for Multi-View Graphs

Qing Wang

22 May 2024

Description: Real-world graphs often exist with multiple views, where each view describes a distinct type of interaction among a shared set of vertices. For example, in social networks, interactions between individuals include...

Full PhD Scholarship: Query efficiency or scalability improvement of Vector Database

Mengxuan Zhang

28 May 2024

Introduction

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

Graph Embedding for Road Network Clustering

Mengxuan Zhang

8 Jul 2024

Introduction

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)

Internship: Research School of Biology

14 Aug 2024

Developing Enhanced Causal Counterfactual Explanations for Predictive Models

Internship: Haizea Analytics

28 Aug 2024

This position is offered through the ANU Computing Internship ([COMP4820] / [COMP8830])

Extending Pattern Unification in the Holbert Proof Assistant

Liam O'Connor

4 Sep 2024

Central to the implementation of a theorem prover is the concept of unification, the process of taking two logical terms A and B and finding a substitution θ such that θ(A) and...

Extending Pattern Unification in the Holbert Proof Assistant

Liam O'Connor

4 Sep 2024

Project Description: Central to the implementation of a proof assistant is the concept of unification, the process of taking two logical terms A and B and finding a substitution θ such that...

Internship: Penten - Detection Methods for Honeyfiles

9 Sep 2024

This position is offered through the ANU Computing Internship ([COMP4820] / [COMP8830])

Internship: Penten - Improved Memory for LLMs

9 Sep 2024

This position is offered through the ANU Computing Internship ([COMP4820] / [COMP8830])

Internship: Penten - Leveraging AI for OT Systems Attack Path Mapping

9 Sep 2024

This position is offered through the ANU Computing Internship ([COMP4820] / [COMP8830])

Internship: Penten - Offline Models to Generate Text and Images

9 Sep 2024

This position is offered through the ANU Computing Internship ([COMP4820] / [COMP8830])

Internship: Department of Industry, Science and Resources - IT Internship

11 Sep 2024

This position is offered through the ANU Computing Internship ([COMP4820] / [COMP8830])

Internship: Vision Verse Interactive - Interactive Mini-Game Development for SaaS Platform

11 Sep 2024

This position is offered through the ANU Computing Internship ([COMP4820] / [COMP8830])

Internship: Vision Verse Interactive - Interactive Psychology Quiz Game Development

11 Sep 2024

This position is offered through the ANU Computing Internship ([COMP4820] / [COMP8830])

Verification Projects - various levels

Nisansala Yatapanage

14 Sep 2024

Project Area

Verifying Algorithms Using Cooperative Methods

Peter Hoefner

17 Sep 2024

Units: 12 (6+6) or 24 (Honours)

Building a Programming Language Ecosystem

Fabian Muehlboeck

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

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

26 Sep 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...

Internship: Dept. of Health and Aged Care - Statistical modelling to predict fraud and non-compliance in health data

30 Sep 2024

This position is offered through the ANU Computing Internship ([COMP4820] / [COMP8830])

Internship: Dept. of Health and Aged Care - Using natural language processing to extract information from unstructured health...

30 Sep 2024

This position is offered through the ANU Computing Internship ([COMP4820] / [COMP8830])

Return To Tradition: Learn to Plan

Dillon Chen

1 Dec 2024

This project is only available for a summer project e.g. ASC for PhB students.

Responsible AI Research Projects @ANU-Xiaoyu Sun

Xiaoyu Sun

1 Dec 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...