Research | ANU School of Computing Skip to main content School of Computing Open main menu Search this site Navigation menu School of Computing /research/, research About Study Research Engage Newsroom Join People Contact Close main menu Search this site Search this site (powered by Google) Powered by Google Close search Home / Research Research Photo by Emily Morter on Unsplash 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. Search research Filters Clusters Groups Projects Clear filters CakeML 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. MicroVM 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 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. Dagster High Performance Computing Boolean SAT Solver c/c/c studio 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 Science Parallel Computing, High Performance Computing, Bioinformatics, Scientific Computing Computing Foundations 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 Gameflow Lab 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... HPC Lab 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... Human-Centred Computing 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. Intelligent Systems 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,... Robotics Decision-making, including Planning, is a critical enabling technology in robotics. It is the deliberate process of deciding the strategy a robot should take to achieve long-term goals. 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... Research Computational Science Computing Foundations Data Science & Analytics Intelligent Systems Software Innovation Institute c/c/c studio Computational Media Lab Gameflow Lab Graph Research Lab HPC Lab Human-Centred Computing Humanising Machine Intelligence Jubilee Joint Fellows Planning and Optimisation Robotics Secure Software Systems Sound, Music and Creative Computing Lab CakeML DaCapo benchmark suite Dagster MicroVM MMTk Twitter Facebook Instagram Youtube LinkedIn WeChat Back to top Acknowledgement of Country The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history. Contact ANU | Copyright | Disclaimer | Privacy | Freedom of Information +61 2 6125 5111 | The Australian National University, Canberra TEQSA Provider ID: PRV12002 (Australian University) | CRICOS Provider Code: 00120C | ABN: 52 234 063 906 You are on Aboriginal land. The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history. I acknowledge arrow-right bars search times arrow-up
