The School of Computing has a strong foundation in the computing and information sciences at the ANU. We are a transformative centre for research in artificial intelligence and machine learning, computer systems and software, and theoretical foundations of computing. We span traditional computer science and modern data and computational science.
We organise ourselves across several broad activity clusters. Research groups and projects often span clusters.
CakeML is a functional programming language and an ecosystem of proofs and tools built around the language. The ecosystem includes a proven-correct compiler that can bootstrap itself.
DaCapo benchmark suite
A tool for Java benchmarking by the programming language, memory management and computer architecture communities. It consists of a set of open source, real world applications with non-trivial memory loads.
The Mu MicroVM is designed as a robust and secure virtual machine substrate for managed programming languages, encompassing execution (compilation), concurrency, and memory management.
MMTk is a memory management toolkit providing language implementers with a powerful memory management framework and researchers with a multi-runtime platform for memory management research.
High Performance Computing Boolean SAT Solver
Home of the ANU Laptop Ensemble, the c/c/c studio is a research group whose goal is to create spaces for talking, thinking and making about the way that code (software), creativity (especially...
Computational Media Lab
The Computational Media Lab at the ANU focuses on computational problems for understanding online media and their interactions with and among humans. We develop core methods in machine learning and optimization. We...
Computational Phylogenomics Lab
Our aim is to enable evolutionary research in the genomics era. We develop and apply bioinformatic methods, models, and software for phylogenetic inference from genome-scale data, with a recent focus on machine...
Parallel Computing, High Performance Computing, Bioinformatics, Scientific Computing
Theory, Logic, Algorithms, Cryptography, Verification, Architecture, Systems, Programming Languages, Software Engineering, Human Interfaces
Data Science & Analytics
Databases, Data Mining, Information Retrieval, Network Science, Data Matching & Linkage
We aim to learn more about people and machines via video games research. Our research covers game design, player experience, artificial intelligence, gameful design and gamification, bio-inspired computing, and extended reality.
Graph Research Lab
Our goal is to explore and understand graph-structured data. In today’s real-world applications, graphs are ubiquitously used for representing complex objects and their relationships such as cities in a road network, atoms...
The High Performance Computing group works on the development of algorithms and software artefacts that leverage high-performance computing and AI and run on cutting-edge HPC machines, such as exascale supercomputers, to push...
Multidisciplinary research on new human-centred technologies and their impact on humans, societies, and environments.
Humanising Machine Intelligence
We are philosophers, computer scientists, political scientists, lawyers and sociologists, working together to develop democratically and culturally legitimate machine intelligence.
Planning, Optimisation, Artificial Intelligence, Machine Learning, Computer Vision, Robotics
Jubilee Joint Fellows
Introducing the Jubilee Joint Fellows
Planning and Optimisation
The planning and optimisation group is interested in classical planning, hierarchical planning, heuristic search, planning under uncertainty, multi-objective planning, temporal planning, learning planning models, deep learning for planning, generalised planning, explainable planning,...
Secure Software Systems
Programming language design and implementation, managed languages, secure languages, verification, cryptography applied to systems security and election systems
Software Innovation Institute
Distributed Personal Privacy, Confidential Computing, Systems Analysis & Design, Graph Analytics, Explainable AI, Natural Language Processing
Sound, Music and Creative Computing Lab
The sound, music and creative computing lab (SMCCLAB) investigates the interactions between humans, computing, music, and the creative arts. We invent new kinds of musical instruments, train creative AI systems, make sound...