Dr Alwen Tiu

Senior Lecturer
Research Area:
CSIT (108), N316
+61 2 612 53666

I obtained my PhD degree from the Pennsylvania State University in 2004. I spent about a year as a visiting student at Ecole Polytechnique (France) during my PhD. I did a one-year postdoc at LORIA/INRIA Lorraine (2004 - 2005), prior to joining the ANU in 2006.

My main research interests span theoretical as well as practical aspects of computer science; these include formal methods, computational logic, automated theorem proving and computer security. More specifically, I am interested in modelling aspects of computational systems (such as parts of operating systems, communication protocols, simple authentication devices, etc) as mathematical theories, and developing tools and techniques to prove their correctness or to find potential flaws.

Current student projects


Hendra Gunadi

Mr Hendra Gunadi »

PhD student


Updated:  8 September 2015/Responsible Officer:  Head of School/Page Contact:  CECS Marketing