We fund research students and postdocs, so please get in touch by emailing alex.potanin@anu.edu.au or any other faculty below!
You are welcome to join us in our ongoing Foundation Cluster Seminar series: https://comp.anu.edu.au/foundations/seminars/
Please see individual staff web pages for more information on their research:
- Dr Akram focuses on memory/storage systems for big datasets - mostly addressing memory (DRAM) scaling limitations in an era of ever-growing data volume, this includes scalable managed heaps for big data analytics, capacity expansion for real-time data-centric services, and scaling proteomics to large datasets;
- Dr Amorim has a background in the parsing and syntactic analysis of programming languages;
- Dr Blackburn is currently full-time at Google to help establish Google Research Lab presence in Australia but continues to supervise students working on the MMTk memory management framework.
- Dr De Groot has a background in abstract logic and works on protocol verification for protocols with algebraic operators.
- Dr Haines spends most of their time on the security of deployed cryptography, looking at deployed systems such as electronic voting;
- Dr Hoefner works on the verification of liveness properties in distributed systems, modelling and analysis of routing and communication protocols, verification of locks and general mathematical structures for computer science;
- Dr Hosking is currently the Director of the School of Computing but continues to supervise students working on garbage collection;
- Dr Muehlboeck is working on the modern type systems problems including decidability of subtyping;
- Dr Norrish is working on the development of CakeML and the accompanying HOL theorem prover, but is also interested in weak memory theorem proving and random pieces of mechanised mathematics;
- Dr O’Connor areas of expertise include: Theory Of Computation, Formal Methods For Software, Programming Languages, Concurrency Theory, Software Testing, Verification And Validation, Computational Logic And Formal Languages, Software And Application Security Dependable Systems.
- Dr Potanin is interested in object capabilities and secure programming language design, extending his work on the Wyvern programming language and getting module systems of general purpose languages like Rust to respect secure software architecture; as a side, they are interested in agricultural pollution tracking via a decentralised marketplace;
- Dr Robinson is interested in research on programming languages and streaming systems; they are particularly interested in using formal methods to verify real-time controllers, such as the controllers that are present in autonomous vehicles;
- Dr Tiu works on the security and privacy of Bluetooth protocols and devices and finding low-level vulnerabilities in Bluetooth implementations, advancing security protocol verification methods and language-based secure information flow;
- Dr Yatapanage’s research interests are formal methods for the verification of systems that require a high level of assurance, such as safety-critical and concurrent systems;
People
Academics
Shoaib Akram
Lecturer
shoaib.akram@anu.edu.au
CSIT Building 108, Office N319
Steve Blackburn
Professor
ACM Fellow
steve.blackburn@anu.edu.au
+61 2 6125 4821
CSIT Building 108, Office N232
Thomas Haines
Senior Lecturer
ARC DECRA Fellow
thomas.haines@anu.edu.au
CSIT Building 108, Office N216
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
Fabian Muehlboeck
Lecturer
ARC DECRA Fellow (2025)
fabian.muehlboeck@anu.edu.au
CSIT N217
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
Liam O'Connor
Senior Lecturer
liam.oconnor@anu.edu.au
Alex Potanin
Associate Professor
Associate Director HDR
BSEng/BEngSE Convener
MIEAust
alex.potanin@anu.edu.au
adir.hdr.comp@anu.edu.au
bseng.convener.comp@anu.edu.au
CSIT Building 108
Eduardo Souza
Research Fellow
luiseduardo.desouzaamorim@anu.edu.au
CSIT Building 108
Roger Su
Postdoctoral Fellow
Roger.Su@anu.edu.au
CSIT Building 108
Xiaoyu Sun
Lecturer
Xiaoyu.sun1@anu.edu.au
CSIT Building 108, Office N324
Alwen Tiu
Associate Professor
alwen.tiu@anu.edu.au
+61 2 6125 3666
CSIT Building 108, Office N215
Nisansala Yatapanage
Lecturer
Engaged Education Convenor
FHEA
MBCS
MACM
nisansala.yatapanage@anu.edu.au
CSIT Building 108, Office N235