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
Applying geometry and machine learning to detect genes in DNA sequences
School of Computing
23 Dec 2023
Thang Bui
Accelerating biological sequence alignment algorithms
School of Computing
23 Dec 2023
Thang Bui
DNA divergence models that are less crazy
School of Computing
23 Dec 2023
Thang Bui
PhD Scholarship: Verification of Safety-critical Systems using Rely/Guarantee
School of Computing
23 Dec 2023
Nisansala Yatapanage
StabilitySort: pathogenic mutation community detection with graphs
School of Computing
20 Dec 2023
High Performance Digital Twins for Type 1 Diabetes Research
School of Computing
14 Dec 2023
Chirath Hettiarachchi
Machine Learning for Bio-marker Discovery & Modelling in Type 1 Diabetes
School of Computing
14 Dec 2023
Chirath Hettiarachchi
Reinforcement Learning (RL) Agents for Glucose Regulation
School of Computing
14 Dec 2023
Chirath Hettiarachchi
Iterative approaches to the solution of large scale non-linear eigen problems.
School of Computing
7 Dec 2023
Rhys Hawkins
Adaptive Mesh Refinement for Spectral Element problems
School of Computing
7 Dec 2023
Rhys Hawkins
Optimal troubleshooting (and other tractable POMDPs)
School of Computing
1 Dec 2023
Patrik Haslum
Efficient validation and presentation of policies for MDPs
School of Computing
1 Dec 2023
Patrik Haslum
Applying machine learning to neuroimaging data to predict depression treatment response so patients get the right treatment f...
School of Computing
30 Nov 2023
Hanna Suominen
Applying machine learning to neuroimaging data to improve diagnosis of depression and ADHD
School of Computing
30 Nov 2023
Hanna Suominen
Applying machine learning to neuroimaging data to improve our understanding of healthy cognitive function
School of Computing
30 Nov 2023
Hanna Suominen
Story planning: unlimiting creativity
School of Computing
30 Nov 2023
Patrik Haslum
Hanna Suominen
Algorithms in Robotics for Task and Motion Planning
School of Computing
30 Nov 2023
Rahul Shome
Approximate solutions and preconditioning using AMX, AVX and Tensor Cores
School of Computing
28 Nov 2023
Rhys Hawkins
Software Innovation in Data Science
School of Computing
20 Nov 2023
Graham Williams
[$10K Scholarship for domestic Honours] Investigating the Manipulative Power of Large Language Models using Social Deduction ...
School of Computing
17 Nov 2023
Penny Kyburz
[$10K Scholarship for domestic Honours] Justice in the Metaverse
School of Computing
17 Nov 2023
Penny Kyburz
Monotone tense logic
School of Computing
17 Nov 2023
Jim de Groot
Ian Shillito
Implementing a Semantics for Pipelining in Racket
School of Computing
4 Nov 2023
Roger Su
Peter Hoefner
Fabian Muehlboeck
Compiling CakeML to WASM
School of Computing
2 Nov 2023
Michael Norrish
A web interface for creating musical AI systems
School of Computing
18 Oct 2023
Charles Martin
Creating a physical intelligent musical instrument with the Bela single-board computer
School of Computing
18 Oct 2023
Charles Martin
AI models for guiding collaborative performance
School of Computing
18 Oct 2023
Charles Martin
Creating a spatial intelligent musical instrument in augmented reality
School of Computing
18 Oct 2023
Charles Martin
Representation Learning for Multi-View Graphs
School of Computing
18 Oct 2023
Qing Wang
Reasonable Fairness Assumptions for Mutual Exclusion Protocol
School of Computing
13 Oct 2023
Roger Su
Peter Hoefner
Executable Process Algebras
School of Computing
13 Oct 2023
Peter Hoefner
Fabian Muehlboeck
Cut Elimination of Lambek Calculus (Categorial Grammar)
School of Computing
11 Oct 2023
Chun Tian
Ian Shillito
Mechanised Cryptography
School of Computing
11 Oct 2023
Chun Tian
Mechanised Graph Theory - Advanced Topics
School of Computing
11 Oct 2023
Chun Tian
Michael Norrish
The Edinburgh Concurrency Workbench in HOL4
School of Computing
11 Oct 2023
Chun Tian
Mechanised Probability Theory - Ergodic Theory
School of Computing
10 Oct 2023
Chun Tian
Mechanised Mathematics
School of Computing
9 Oct 2023
Michael Norrish
Dependency Analysis over Stored Theorems and Proofs
School of Computing
9 Oct 2023
Michael Norrish
Verifying Elements of Algorithmic Graph Theory
School of Computing
9 Oct 2023
Peter Hoefner
Roger Su
Finding Attacks by means of Predicate Transformers
School of Computing
9 Oct 2023
Peter Hoefner
Michael Norrish
Concurrent Data Structure
School of Computing
9 Oct 2023
Peter Hoefner
Roger Su
Modelling, Analysing and Verifying Routing Protocols
School of Computing
9 Oct 2023
Peter Hoefner
Ian Shillito
Unit-Testing a Parser
School of Computing
9 Oct 2023
Peter Hoefner
Mechanisation of the milli Common Representation Language
School of Computing
9 Oct 2023
Peter Hoefner
Chun Tian
Implementing routing protocols in NS-3
School of Computing
9 Oct 2023
Ian Shillito
Peter Hoefner
User-Friendly IDE for the language AWN
School of Computing
9 Oct 2023
Peter Hoefner
Roger Su
Verifying Indentation Sensitive Parsing
School of Computing
9 Oct 2023
Michael Norrish
Programming languages for real-time systems
School of Computing
9 Oct 2023
Amos Robinson
Mechanised Graph Theory
School of Computing
9 Oct 2023
Michael Norrish
Chun Tian