Return To Tradition: Learn to Plan
School of Computing
1 Dec 2024
Dillon Chen
Responsible AI Research Projects @ANU-Xiaoyu Sun
School of Computing
1 Dec 2024
Xiaoyu Sun
Internship: XtreamCompute: Developing advanced test platforms for Streaming Solution
School of Computing
5 Nov 2024
Internship: Evolutioned - AImbient
School of Computing
5 Nov 2024
Implementing Transactions and Persistence for WebAssembly
School of Computing
4 Nov 2024
Antony Hosking
Steve Blackburn
Backpropagation-Free Gradient Estimation for Scalable Deep Learning
School of Computing
4 Nov 2024
Dylan Campbell
Advancing parameter-free and architecture aware optimisation for deep networks
School of Computing
4 Nov 2024
Dylan Campbell
Internship: Robinson Ryan
School of Computing
30 Oct 2024
Internship: CMTEDD
School of Computing
30 Oct 2024
Internship: Eolas Solutions
School of Computing
28 Oct 2024
KV Cache Compress for LLM Efficiency
School of Computing
25 Oct 2024
Mengxuan Zhang
Internship: Overflow Solutions - AI Managed Service
School of Computing
25 Oct 2024
[Full PhD Scholarship] Transfer Learning with Diffusion Models (DARPA)
School of Computing
22 Oct 2024
Dylan Campbell
Jing Zhang
Richard Hartley
Internship: Research Graph Foundation - Knowledge base about AI Technologies
School of Computing
21 Oct 2024
Internship: Trellis Data Group - Democratise Deep Learning Through Algorithmic Optimisation
School of Computing
21 Oct 2024
Internship: Research Graph Foundation - Developing AI Pipelines
School of Computing
21 Oct 2024
Internship: Dept. of Health and Aged Care - Data Science Section Horizon Scanning Project
School of Computing
11 Oct 2024
Embedding Incorrectness Logic into Dynamic Logic
School of Computing
9 Oct 2024
Liam O'Connor
Formally Verified Raster Drawing Algorithms
School of Computing
8 Oct 2024
Liam O'Connor
Internship: Dept. of Health and Aged Care - Using natural language processing to extract information from unstructured health...
School of Computing
30 Sep 2024
Internship: Dept. of Health and Aged Care - Statistical modelling to predict fraud and non-compliance in health data
School of Computing
30 Sep 2024
Building a Programming Language Ecosystem
School of Computing
26 Sep 2024
Fabian Muehlboeck
Gradual Typing - Language Design and Implementation
School of Computing
26 Sep 2024
Fabian Muehlboeck
Language Design for IDEs
School of Computing
26 Sep 2024
Fabian Muehlboeck
Verifying Algorithms Using Cooperative Methods
School of Computing
17 Sep 2024
Peter Hoefner
Verification Projects - various levels
School of Computing
14 Sep 2024
Nisansala Yatapanage
Extending Pattern Unification in the Holbert Proof Assistant
School of Computing
4 Sep 2024
Liam O'Connor
A human-readable file format for mathematical theories
School of Computing
4 Sep 2024
Liam O'Connor
Predicting Student Enrolment Numbers
School of Computing
22 Jul 2024
Peter Hoefner
Bernardo Nunes
AI for Science
School of Computing
19 Jul 2024
John Taylor
New approaches to HPC: Cache only programming
School of Computing
19 Jul 2024
John Taylor
Shoaib Akram
Deep Learning for Efficient Route Planning
School of Computing
16 Jul 2024
Qing Wang
Muhammad Farhan
Mechanised Probability Theory - Martingales
School of Computing
8 Jul 2024
Chun Tian
Graph Embedding for Road Network Clustering
School of Computing
8 Jul 2024
Mengxuan Zhang
Mechanised Graph Theory - Advanced Topics
School of Computing
3 Jul 2024
Chun Tian
Michael Norrish
A web interface for creating musical AI systems
School of Computing
1 Jul 2024
Charles Martin
[$10K Scholarship for domestic Honours] Investigating the Manipulative Power of Large Language Models using Social Deduction ...
School of Computing
25 Jun 2024
Penny Kyburz
[$10K Scholarship for domestic Honours] Justice in the Metaverse
School of Computing
25 Jun 2024
Penny Kyburz
Case Studies for Formal Methods
School of Computing
11 Jun 2024
Peter Hoefner