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 Probability Theory - Central Limit Theorem
School of Computing
8 Jul 2024
Chun Tian
Cut Elimination for Lambek Calculus (Categorial Grammar)
School of Computing
3 Jul 2024
Chun Tian
Ian Shillito
Mechanised Graph Theory - Advanced Topics
School of Computing
3 Jul 2024
Chun Tian
Michael Norrish
Mechanised Graph Theory
School of Computing
3 Jul 2024
Michael Norrish
Chun Tian
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
Story planning: unlimiting creativity
School of Computing
1 Jun 2024
Patrik Haslum
Hanna Suominen
Programming Language Design Projects with Alex
School of Computing
15 May 2024
Alex Potanin
Exploring Kolmogorov-Arnold Networks (KANs) for Materials Informatics Applications
School of Computing
9 May 2024
Amanda Barnard AM
Intelligent musical instrument projects with IMPSy
School of Computing
6 May 2024
Charles Martin
AI models for guiding collaborative performance
School of Computing
6 May 2024
Charles Martin
Geometric Route Planning
School of Computing
23 Apr 2024
Muhammad Farhan
Qing Wang
Social choice for boardgames in phone app form
School of Computing
17 Apr 2024
Michael Norrish
Peter Hoefner
Reasonable Fairness Assumptions for Mutual Exclusion Protocol
School of Computing
17 Apr 2024
Roger Su
Peter Hoefner
Verifying Elements of Algorithmic Graph Theory
School of Computing
17 Apr 2024
Peter Hoefner
Roger Su
Finding Attacks by means of Predicate Transformers
School of Computing
17 Apr 2024
Peter Hoefner
Michael Norrish
Concurrent Data Structure
School of Computing
17 Apr 2024
Peter Hoefner
Roger Su
Modelling, Analysing and Verifying Routing Protocols
School of Computing
17 Apr 2024
Peter Hoefner
Ian Shillito
Unit-Testing a Parser
School of Computing
17 Apr 2024
Peter Hoefner
The Edinburgh Concurrency Workbench in HOL4
School of Computing
17 Apr 2024
Chun Tian
Mechanisation of the milli Common Representation Language
School of Computing
17 Apr 2024
Peter Hoefner
Chun Tian
Implementing routing protocols in NS-3
School of Computing
17 Apr 2024
Ian Shillito
Peter Hoefner
Executable Process Algebras
School of Computing
17 Apr 2024
Peter Hoefner
Fabian Muehlboeck
User-Friendly IDE for the language AWN
School of Computing
17 Apr 2024
Peter Hoefner
Roger Su
Educational Tools for POPL
School of Computing
17 Apr 2024
Peter Hoefner
Implementing a Semantics for Pipelining in Racket
School of Computing
17 Apr 2024
Roger Su
Peter Hoefner
Fabian Muehlboeck
Research Projects with Graph Research Lab @ ANU
School of Computing
11 Apr 2024
Qing Wang
Building a Programming Language Ecosystem
School of Computing
3 Apr 2024
Fabian Muehlboeck
Gradual Typing - Language Design and Implementation
School of Computing
3 Apr 2024
Fabian Muehlboeck
Language Design for IDEs
School of Computing
3 Apr 2024
Fabian Muehlboeck
High Performance Computing for phylogenetic simulations
School of Computing
18 Mar 2024
Minh Bui
Machine learning for social goods: Health economic evaluation
School of Computing
18 Mar 2024
Minh Bui
Decarbonising industry: direct electrical heating and thermal storage of heat generated using behind-the-meter PV
School of Engineering
8 Mar 2024
Joe Coventry
Ultra-fast Photonic Computing for Deep Learning Acceleration
School of Computing
15 Feb 2024
Amanda Barnard AM
Model-Heterogeneous Federated Learning
School of Computing
15 Feb 2024
Amanda Barnard AM
Responsible AI Research Projects @ANU-Xiaoyu Sun
School of Computing
12 Feb 2024
Xiaoyu Sun
Making robots play music
School of Computing
9 Feb 2024
Charles Martin
Rahul Shome
Privacy-Preserving Perception for Robotics
School of Computing
28 Jan 2024
Yunzhong Hou
Dylan Campbell
Rahul Shome