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
PhD Student
u4587729@anu.edu.au
Off Campus
Eduardo Amorim
Research Fellow
luiseduardo.desouzaamorim@anu.edu.au
CSIT Building 108
Ushini Attanayake
PhD Student
u5839004@anu.edu.au
Hanna Neumann Building 145, Level 2
Ryan Barry
PhD Student
u7429780@anu.edu.au
Off Campus
Pascal Bercher
Senior Lecturer
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
Sid Chau
Senior Research Fellow
sid.chau@anu.edu.au
Hanna Neumann Building (145)
Ranald Clouston
Lecturer
HDR Convener Computing Foundations
ranald.clouston@anu.edu.au
+61 2 6125 7833
Hanna Neumann Building 145, Office 2.15
Jorge Conde
PhD Student
Jorge.Conde@anu.edu.au
Hanna Neumann Building 145
Donovan Crichton
PhD Student
u6881864@anu.edu.au
Hanna Neumann Building 145, Level 2
Caitlin D'Abrera
PhD Student
caitlin.dabrera@anu.edu.au
Hanna Neumann Building 145, Level 2
Raja Damanik
PhD Student
u7070028@anu.edu.au
Off Campus
Peter Gammie
Honorary Research Fellow
peter.gammie@anu.edu.au
CSIT Building 108, Office N229
Rajeev Goré
Professor Emeritus
rajeev.gore@anu.edu.au
+61 2 6125 8603
Hanna Neumann Building 145, Office 2.23
Jim de Groot
Postdoctoral Fellow
Jim.DeGroot@anu.edu.au
CSIT Building 108, Office N229
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 2
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
PhB Convener
peter.hoefner@anu.edu.au
+61 2 6125 0159
CSIT Building 108, Office N234
Antony (Tony) Hosking
Professor
School Director
ACM Distinguished Scientist
antony.hosking@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
Lecturer
MComp/MAdvComp Convener
priscilla.kanjohn@anu.edu.au
+61 2 6125 6290
CSIT Building 108, Office N327
Sean Lamont
PhD Student
u5801283@anu.edu.au
Off Campus
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
Off Campus
Vidushi Liyanaarachchi
PhD Student
u6782787@anu.edu.au
CSIT Building 108, Level 2
Yoshihiro Maruyama
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
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
Michael.Norrish@anu.edu.au
CSIT Building 108, Office N233
Bernardo Nunes
Senior Lecturer
Sub Dean Academic Integrity
bernardo.nunes@anu.edu.au
+61 2 6125 4952
CSIT Building 108, Office N311
Dirk Pattinson
Professor
Director, ANU-ASD Co-Lab
Associate Dean HDR
dirk.pattinson@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
BSEng/BEngSE Convener
MIEAust
Alex.Potanin@anu.edu.au
CSIT Building 108, Office N328
Tianle Qiu
PhD Student
u6469858@anu.edu.au
CSIT Building 108, Level 2
Victor Rivera
Visiting Fellow
victor.rivera@anu.edu.au
Amos Robinson
Postdoctoral fellow
amos.robinson@anu.edu.au
CSIT Building 108 and Sydney
Kunal Sareen
PhD Student
u6509424@anu.edu.au
CSIT Building 108, Level 2
Ian Shillito
PhD Student
u6781886@anu.edu.au
Hanna Neumann Building 145, Level 2
John Slaney
Professor Emeritus
John.Slaney@anu.edu.au
+61 2 6125 8607
Hanna Neumann Building 145
Yanqi Su
PhD Student
u7163088@anu.edu.au
Off Campus
Xiaoyu Sun
Lecturer
Xiaoyu.sun1@anu.edu.au
Hanna Neumann Building 145, Office 2.36
Ben Swift
Senior Lecturer
ben.swift@anu.edu.au
+61 2 6125 7027
Birch Building 35
Aldo Taranto
PhD Student
u7402148@anu.edu.au
Off Campus
Jennyfer Lawrence Taylor
Honorary Lecturer
jennyfer.taylor@anu.edu.au
Hanna Neumann Building 145, Office 2.36
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
Alwen Tiu
Associate Professor
alwen.tiu@anu.edu.au
+61 2 6125 3666
CSIT Building 108, Office N215
Florence Verity
PhD Student
u5161993@anu.edu.au
Hanna Neumann Building 145, Level 2
Melina Vidoni
Lecturer
melina.vidoni@anu.edu.au
CSIT Building 108, Office
Weiyou Wang
PhD Student
u7177431@anu.edu.au
Off Campus
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
FHEA
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
Zejun Zhang
PhD Student
u7359134@anu.edu.au
Off Campus
Wenyu Zhao
PhD Student
u6615191@anu.edu.au
CSIT Building 108, Level 2
Uwe Zimmer
Honorary Senior Lecturer
uwe.zimmer@anu.edu.au
Groups

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

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