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