We fund research students and postdocs, so please get in touch by emailing alex.potanin@anu.edu.au or any other faculty below!
We are actively hiring Postdocs, please apply here (applications considered as they come in as this is a rolling advertisement): https://jobs.anu.edu.au/cw/en/job/547772/research-fellow-multiple-positions
Please see individual staff web pages for more information on their research, but some examples include:
- Dr Yatapanage’s research interests are formal methods for the verification of systems which require a high level of assurance, such as safety-critical and concurrent 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 interested they are interested in agricultural pollution tracking via a decentralised marketplace;
- Dr De Groot has a background in abstract logic and works on protocol verification for protocols with algebraic operators.
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
Postdoctoral Fellow
Jim.DeGroot@anu.edu.au
CSIT Building 108

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

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
Alex.Potanin@anu.edu.au
CSIT Building 108, Office N328

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

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