Computing platforms underpin global commerce, governance, and social wellbeing as critical infrastructure. We focus on the software and hardware foundations of computing, and its theory, to improve the safety, reliability, usability, and performance of computing systems, and to make them scalable and secure. We combine teaching and research in the foundations of computing: logic and verification, theory of computation, computer organisation and architecture, operating systems, formal methods and methodologies for software engineering, user interfaces, and programming languages and tools. We work closely with industry partners on solutions to problems for real systems. Our education programs emphasise hands-on implementation and project-based learning.
People
Shoaib Akram
Lecturer
shoaib.akram@anu.edu.au
Skaidrite Darius Building 108, Office N319
Daniel Alarcon
MPhil Student
u4587729@anu.edu.au
Ushini Attanayake
PhD Student
u5839004@anu.edu.au
Hanna Neumann Building 145, Level 2
Ryan Barry
PhD Student
u7429780@anu.edu.au
Pascal Bercher
Associate Professor
ARC DECRA Fellow
pascal.bercher@anu.edu.au
+61 2 6125 0322
Hanna Neumann Building 145, Office 3.36
Steve Blackburn
Professor
ACM Fellow
steve.blackburn@anu.edu.au
+61 2 6125 4821
Skaidrite Darius Building 108, Office N232
Zixian Cai
PhD Student
u5937495@anu.edu.au
Skaidrite Darius Building 108, Office N227F
Yun Kuen (Marco) Cheung
Senior Lecturer
yunkuen.cheung@anu.edu.au
Hanna Neumann Building 145, Office 3.19
Ranald Clouston
Lecturer
HDR Convener Computing Foundations
ranald.clouston@anu.edu.au
+61 2 6125 7833
Skaidrite Darius Building 108, Office N214
Donovan Crichton
PhD Student
donovan.crichton@anu.edu.au
Trusted Systems Laboratory, Room 1.45 Bldg N34, Griffith University Nathan Campus
Caitlin D'Abrera
PhD Student
caitlin.dabrera@anu.edu.au
Hanna Neumann Building 145, Level 2
Raja Damanik
PhD Student
u7070028@anu.edu.au
Skaidrite Darius Building 108, Level 2
Rajeev Goré
Honorary Professor
rajeev.gore@anu.edu.au
+61 2 6125 8603
Hanna Neumann Building 145, Office 2.23
Yasaswini Gownivaripalli
PhD Student
yasaswini.gownivaripalli@anu.edu.au
Skaidrite Darius Building 108
Thomas Haines
Senior Lecturer
ARC DECRA Fellow
thomas.haines@anu.edu.au
Skaidrite Darius Building 108, Office N216
Zara Hassan
PhD Student
u7514488@anu.edu.au
Skaidrite Darius Building 108, Level 3
Zachary Hatfield-Dodds
PhD Student
u5184181@anu.edu.au
Birch Building 35
Adrian Herrera
Adjunct Academic
adrian.herrera@anu.edu.au
Peter Hoefner
Associate Professor
Associate Director Education
peter.hoefner@anu.edu.au
adir.education.comp@anu.edu.au
+61 2 6125 0159
Skaidrite Darius Building 108, Office N234
Antony Hosking
Professor
School Director
ACM Distinguished Scientist
antony.hosking@anu.edu.au
director.comp@anu.edu.au
+61 2 6125 9358
Skaidrite Darius Building 108, Office N338
Joseph John
PhD Student
u6779084@anu.edu.au
Priscilla Kan-John
Honorary Lecturer
priscilla.kanjohn@anu.edu.au
+61 2 6125 6290
Skaidrite Darius Building 108, Office N327
Sean Lamont
PhD Student
u5801283@anu.edu.au
Darren Li
PhD Student
u5490127@anu.edu.au
Songtuan Lin
PhD Student
u6162630@anu.edu.au
Yi Lin
Software Developer
yi.lin@anu.edu.au
Vidushi Liyanaarachchi
PhD Student
u6782787@anu.edu.au
Skaidrite Darius Building 108, Level 2
Yoshihiro Maruyama
Honorary Senior Lecturer
yoshihiro.maruyama@anu.edu.au
+61 2 6125 8627
Hanna Neumann Building 145, Office 2.19
Eric McCreath
Honorary Senior Lecturer
eric.mccreath@anu.edu.au
+61 2 6125 8191
Josh Milthorpe
Honorary Lecturer
josh.milthorpe@anu.edu.au
Fabian Muehlboeck
Lecturer
ARC DECRA Fellow (2025)
fabian.muehlboeck@anu.edu.au
Skaidrite Darius N217
Vincent Nguyen
PhD Student
u6897540@anu.edu.au
Skaidrite Darius Building 108, Level 3
Xinlei Niu
PhD Student
u6536294@anu.edu.au
Hanna Neumann Building 145, Level 2
James Noble
Honorary Professor
James.Noble@anu.edu.au
Michael Norrish
Associate Professor
Computing Foundations Lead
BAC Convener
Honours Project Convener
Michael.Norrish@anu.edu.au
bac.convener.comp@anu.edu.au
Skaidrite Darius Building 108, Office N233
Bernardo Nunes
Senior Lecturer
Sub Dean - Educational Programs
bernardo.nunes@anu.edu.au
Skaidrite Darius Building 108, Office N311
Liam O'Connor
Senior Lecturer
liam.oconnor@anu.edu.au
Sasha Pak
PhD Student
u7688652@anu.edu.au
Skaidrite Darius Building 108, Level 3
Dirk Pattinson
Professor
dirk.pattinson@anu.edu.au
ad.hdr.cecc@anu.edu.au
+61 2 6125 8612
Hanna Neumann Building 145
Alex Potanin
Associate Professor
Associate Director HDR
MIEAust
alex.potanin@anu.edu.au
adir.hdr.comp@anu.edu.au
Skaidrite Darius Building 108, Office N328
Tianle Qiu
PhD Student
u6469858@anu.edu.au
Skaidrite Darius Building 108, Level 2
Victor Rivera
Visiting Fellow
victor.rivera@anu.edu.au
Ramesh Sankaranarayana
Honorary Senior Lecturer
ramesh.sankaranarayana@anu.edu.au
+61 2 6125 4281
Skaidrite Darius Building 108, Office N324
Kunal Sareen
PhD Student
u6509424@anu.edu.au
Skaidrite Darius Building 108, Level 2
Ian Shillito
Research Fellow
ian.shillito@anu.edu.au
Skaidrite Darius Building 108, Office N243
Iko-Ojo Simon
PhD Student
Emmanuel.Simon@anu.edu.au
Skaidrite Darius Building 108, Level 3
Edwin Singh
PhD Student
u7584701@anu.edu.au
John Slaney
Professor Emeritus
John.Slaney@anu.edu.au
+61 2 6125 8607
Hanna Neumann Building 145
Eduardo Souza
Research Fellow
luiseduardo.desouzaamorim@anu.edu.au
Skaidrite Darius Building 108
Jack Stodart
PhD Student
jack.stodart@anu.edu.au
Skaidrite Darius Building 108, Office N222
Roger Su
Postdoctoral Fellow
Roger.Su@anu.edu.au
Skaidrite Darius Building 108
Yanqi Su
PhD Student
u7163088@anu.edu.au
Xiaoyu Sun
Lecturer
Xiaoyu.sun1@anu.edu.au
Skaidrite Darius Building 108, Office N324
Ben Swift
Senior Lecturer
ben.swift@anu.edu.au
+61 2 6125 7027
Birch Building 35
Aldo Taranto
PhD Student
u7402148@anu.edu.au
Vanessa Teague
Honorary Associate Professor
vanessa.teague@anu.edu.au
Thinking Cybersecurity Pty Ltd, Melbourne
Chun Tian
Postdoctoral Fellow
chun.tian@anu.edu.au
Skaidrite Darius Building 108, Office N243
Alwen Tiu
Associate Professor
alwen.tiu@anu.edu.au
+61 2 6125 3666
Skaidrite Darius Building 108, Office N215
Florrie Verity
PhD Student
florrie.verity@anu.edu.au
Skaidrite Darius Building 108, Level 3
Kunshan Wang
Software Developer
kunshan.wang@anu.edu.au
Weiyou Wang
PhD Student
u7177431@anu.edu.au
Yichen Wang
PhD Student
u6345072@anu.edu.au
Hanna Neumann Building 145, Level 2
Zhenchang Xing
Honorary Associate Professor
zhenchang.xing@anu.edu.au
Skaidrite Darius Building 108
Can Yang
PhD Student
can.yang@anu.edu.au
Skaidrite Darius Building 108, N320
Nisansala Yatapanage
Senior Lecturer
Engaged Education Convenor
FHEA
MBCS
MACM
nisansala.yatapanage@anu.edu.au
Skaidrite Darius Building 108, Office N235
Haolei Ye
PhD Student
u5870415@anu.edu.au
Ahad N. Zehmakan
Senior Lecturer
ahadn.zehmakan@anu.edu.au
Hanna Neumann Building 145, Office 2.18
Haibo Zhang
Honorary Associate Professor
haibo.zhang@anu.edu.au
Hanna Neumann Building 145
Mengxuan Zhang
Lecturer
mengxuan.zhang@anu.edu.au
+61 2 6125 9005
Hanna Neumann Building #145, Office 4.23
Zejun Zhang
PhD Student
u7359134@anu.edu.au
Wenyu Zhao
PhD Student
u6615191@anu.edu.au
Skaidrite Darius Building 108, Level 2
Xinyu Zheng
PhD Student
xinyu.zheng@anu.edu.au
Skaidrite Darius Building 108
Uwe Zimmer
Honorary Senior Lecturer
uwe.zimmer@anu.edu.au
Groups

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.

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.

Secure Software Systems
Programming language design and implementation, managed languages, secure languages, verification, cryptography applied to systems security and election systems

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...
Projects
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.

Wyvern
Secure Programing Language with Object Capabilities
Seminar
The Computing Foundations Cluster is organizing a regular seminar with talks by students, academics, and guests, open to all. More information and the current schedule can be found on the Foundations Cluster Seminar website.