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

Eduardo Amorim
Research Fellow
luiseduardo.desouzaamorim@anu.edu.au
CSIT Building 108

Steve Blackburn
Professor
ACM Fellow
steve.blackburn@anu.edu.au
+61 2 6125 4821
CSIT Building 108, Office N232

Jim de Groot
Research 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

Peter Hoefner
Associate Professor
Associate Director Education
PhB Convener
peter.hoefner@anu.edu.au
adir.education.comp@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
director.comp@anu.edu.au
+61 2 6125 9358
CSIT Building 108, Office N338

Fabian Muehlboeck
Lecturer
fabian.muehlboeck@anu.edu.au
CSIT N217

Michael Norrish
Associate Professor
Computing Foundations Lead
Michael.Norrish@anu.edu.au
CSIT Building 108, Office N233

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, Office N328

Amos Robinson
Postdoctoral fellow
amos.robinson@anu.edu.au
CSIT Building 108 and Sydney

Xiaoyu Sun
Lecturer
Xiaoyu.sun1@anu.edu.au
Hanna Neumann Building 145, Office 2.36

Alwen Tiu
Associate Professor
alwen.tiu@anu.edu.au
+61 2 6125 3666
CSIT Building 108, Office N215

Nisansala Yatapanage
Lecturer
FHEA
nisansala.yatapanage@anu.edu.au
CSIT Building 108, Office N235