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
CSIT 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
Senior Lecturer
ARC DECRA Fellow
HDR Convener Intelligent Systems
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
CSIT Building 108, Office N232
Zixian Cai
PhD Student
u5937495@anu.edu.au
CSIT Building 108, Office N227F
Yun Kuen (Marco) Cheung
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
CSIT 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
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
CSIT Building 108
Thomas Haines
Senior Lecturer
ARC DECRA Fellow
thomas.haines@anu.edu.au
CSIT Building 108, Office N216
Zara Hassan
PhD Student
u7514488@anu.edu.au
CSIT Building 108, Level 3
Zachary Hatfield-Dodds
PhD Student
u5184181@anu.edu.au
Birch Building 35
Adrian Herrera
PhD student
Cyber Security Researcher
Software Security Lecturer
adrian.herrera@anu.edu.au
Hanna Neumann Building 145, Level 5
Peter Hoefner
Associate Professor
Associate Director Education
peter.hoefner@anu.edu.au
adir.education.comp@anu.edu.au
+61 2 6125 0159
CSIT 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
CSIT Building 108, Office N338
Joseph John
PhD Student
u6779084@anu.edu.au
Hanna Neumann Building 145, Level 2
Priscilla Kan-John
Honorary Lecturer
priscilla.kanjohn@anu.edu.au
+61 2 6125 6290
CSIT Building 108, Office N327
Sean Lamont
PhD Student
u5801283@anu.edu.au
Darren Li
PhD Student
u5490127@anu.edu.au
CSIT Building 108, Level 2
Songtuan Lin
PhD Student
u6162630@anu.edu.au
Hanna Neumann Building 145, Level 3
Yi Lin
Software Developer
yi.lin@anu.edu.au
Vidushi Liyanaarachchi
PhD Student
u6782787@anu.edu.au
CSIT 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
CSIT N217
Vincent Nguyen
PhD Student
u6897540@anu.edu.au
CSIT 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 Convenor
Michael.Norrish@anu.edu.au
bac.convener.comp@anu.edu.au
CSIT Building 108, Office N233
Bernardo Nunes
Senior Lecturer
Sub Dean - Educational Programs
bernardo.nunes@anu.edu.au
CSIT Building 108, Office N311
Liam O'Connor
Senior Lecturer
liam.oconnor@anu.edu.au
Sasha Pak
PhD Student
sasha.pak@anu.edu.au
CSIT Building 108, Level 3
Dirk Pattinson
Professor
Associate Dean HDR
dirk.pattinson@anu.edu.au
ad.hdr.cecc@anu.edu.au
+61 2 6125 8612
Hanna Neumann Building 145
Matthew Phillipps
PhD Student
u8808913@anu.edu.au
Hanna Neumann Building 145, Level 2
Alex Potanin
Associate Professor
Associate Director HDR
alex.potanin@anu.edu.au
adir.hdr.comp@anu.edu.au
CSIT Building 108
Tianle Qiu
PhD Student
u6469858@anu.edu.au
CSIT 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
CSIT Building 108, Office N324
Kunal Sareen
PhD Student
u6509424@anu.edu.au
CSIT Building 108, Level 2
Ian Shillito
Research Fellow
ian.shillito@anu.edu.au
CSIT Building 108, Office N243
Iko-Ojo Simon
PhD Student
Emmanuel.Simon@anu.edu.au
CSIT Building 108, Level 3
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
CSIT Building 108
Roger Su
Postdoctoral Fellow
Roger.Su@anu.edu.au
CSIT Building 108
Yanqi Su
PhD Student
u7163088@anu.edu.au
Xiaoyu Sun
Lecturer
Xiaoyu.sun1@anu.edu.au
CSIT 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
CSIT Building 108, Office N243
Alwen Tiu
Associate Professor
alwen.tiu@anu.edu.au
+61 2 6125 3666
CSIT Building 108, Office N215
Florrie Verity
PhD Student
florrie.verity@anu.edu.au
Hanna Neumann Building 145, Level 2
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
CSIT Building 108
Can Yang
PhD Student
can.yang@anu.edu.au
Nisansala Yatapanage
Lecturer
Engaged Education Convenor
FHEA
MBCS
MACM
nisansala.yatapanage@anu.edu.au
CSIT Building 108, Office N235
Haolei Ye
PhD Student
u5870415@anu.edu.au
CSIT Building 108, Level 2
Ahad N. Zehmakan
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
CSIT Building 108, Level 2
Xinyu Zheng
PhD Student
xinyu.zheng@anu.edu.au
CSIT 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.