Robot navigation through crowds
School of Computing
14 Aug 2025
Hanna Kurniawati
Automatic generation of POMDP models
School of Computing
14 Aug 2025
Hanna Kurniawati
Generalization in Imitation Learning
School of Computing
14 Aug 2025
Hanna Kurniawati
UX Design, Implementation and Evaluation for a Social Choice Board Game App
School of Computing
14 Jul 2025
Peter Hoefner
Michael Norrish
Autonomous Robotic Manipulation for Object Extraction
School of Computing
2 Jul 2025
Rahul Shome
Mechanisation of the milli Common Representation Language
School of Computing
2 Jul 2025
Peter Hoefner
Chun Tian
Case Studies for Formal Methods
School of Computing
2 Jul 2025
Peter Hoefner
Executable Process Algebras
School of Computing
2 Jul 2025
Peter Hoefner
Fabian Muehlboeck
Roger Su
Predicting Student Enrolment Numbers
School of Computing
2 Jul 2025
Peter Hoefner
Bernardo Nunes
Modelling, Analysing and Verifying Routing Protocols
School of Computing
2 Jul 2025
Peter Hoefner
Roger Su
Reasonable Fairness Assumptions for Mutual Exclusion Protocol
School of Computing
2 Jul 2025
Roger Su
Peter Hoefner
Verifying Algorithms Using Cooperative Methods
School of Computing
2 Jul 2025
Peter Hoefner
Finding Attacks by means of Predicate Transformers
School of Computing
2 Jul 2025
Peter Hoefner
Michael Norrish
Adaptive Residual Connection in Graph Neural Networks
School of Computing
27 Jun 2025
Ahad N. Zehmakan
Embodied AI on a Legged Robot Platform
School of Computing
24 Jun 2025
Rahul Shome
Algorithms in Robotics for Task and Motion Planning
School of Computing
24 Jun 2025
Rahul Shome
Responsible AI Research Projects @ANU-Xiaoyu Sun
School of Computing
12 Jun 2025
Xiaoyu Sun
Formally Verified Raster Drawing Algorithms
School of Computing
30 May 2025
Liam O'Connor
Extending Pattern Unification in the Holbert Proof Assistant
School of Computing
30 May 2025
Liam O'Connor
Embedding Incorrectness Logic into Dynamic Logic
School of Computing
30 May 2025
Liam O'Connor
Proof assistant-supported program derivation
School of Computing
30 May 2025
Liam O'Connor
Vector Search for the LLM Era
School of Computing
10 May 2025
Mengxuan Zhang
Advancing parameter-free and architecture aware optimisation for deep networks
School of Computing
8 May 2025
Dylan Campbell
Multi-modal learning for real-time diagnostic and prognostic control in additive manufacturing
School of Computing
1 May 2025
Amanda Barnard AM
Mechanised Probability Theory - Martingales
School of Computing
1 Apr 2025
Chun Tian
Mechanised Graph Theory - Advanced Topics
School of Computing
1 Apr 2025
Chun Tian
Michael Norrish
Disentangling Design Legacies in Technology
School of Computing
25 Mar 2025
[Domestic PhD scholarship] Justice in the Metaverse
School of Computing
13 Mar 2025
Penny Kyburz