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
![Picture of Shoaib Akram](/assets/images/people/shoaib-akram.jpg)
Shoaib Akram
Lecturer
shoaib.akram@anu.edu.au
CSIT Building 108, Office N319
![Picture of Steve Blackburn](/assets/images/people/steve-blackburn.jpg)
Steve Blackburn
Professor
ACM Fellow
steve.blackburn@anu.edu.au
+61 2 6125 4821
CSIT Building 108, Office N232
![Picture of Jim de Groot](/assets/images/computing.jpg)
Jim de Groot
Research Fellow
Jim.DeGroot@anu.edu.au
CSIT Building 108, Office N229
![Picture of Thomas Haines](/assets/images/people/thomas-haines.png)
Thomas Haines
Senior Lecturer
ARC DECRA Fellow
thomas.haines@anu.edu.au
CSIT Building 108, Office N216
![Picture of Peter Hoefner](/assets/images/people/peter-hoefner.png)
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
![Picture of Antony Hosking](/assets/images/people/antony-hosking.jpg)
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
![Picture of Fabian Muehlboeck](/assets/images/people/fabian-muehlboeck.png)
Fabian Muehlboeck
Lecturer
fabian.muehlboeck@anu.edu.au
CSIT N217
![Picture of Michael Norrish](/assets/images/people/michael-norrish.png)
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
![Picture of Liam O’Connor](/assets/images/people/liam-oconnor.jpeg)
Liam O'Connor
Senior Lecturer - commencing 2024
liam.oconnor@anu.edu.au
![Picture of Alex Potanin](/assets/images/people/alex-potanin.png)
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
![Picture of Amos Robinson](/assets/images/people/amos-robinson.jpg)
Amos Robinson
Postdoctoral fellow
amos.robinson@anu.edu.au
CSIT Building 108 and Sydney
![Picture of Eduardo Souza](/assets/images/people/eduardo-souza.png)
Eduardo Souza
Research Fellow
luiseduardo.desouzaamorim@anu.edu.au
CSIT Building 108
![Picture of Roger Su](/assets/images/computing.jpg)
Roger Su
Postdoctoral Fellow
Roger.Su@anu.edu.au
CSIT Building 108
![Picture of Xiaoyu Sun](/assets/images/people/xiaoyusun.jpg)
Xiaoyu Sun
Lecturer
Xiaoyu.sun1@anu.edu.au
CSIT Building 108, Office N324
![Picture of Alwen Tiu](/assets/images/people/alwen-tiu.png)
Alwen Tiu
Associate Professor
alwen.tiu@anu.edu.au
+61 2 6125 3666
CSIT Building 108, Office N215
![Picture of Nisansala Yatapanage](/assets/images/people/nisansala-yatapanage.png)
Nisansala Yatapanage
Lecturer
FHEA
MBCS
MACM
nisansala.yatapanage@anu.edu.au
CSIT Building 108, Office N235