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. In 2013-2017 I worked as an assistant professor at NTU Singapore. I rejoined ANU in late 2017. 

 

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

Jonathon Martin »

Honours Student

Xing Yu »

Honours Student


Updated:  1 November 2018/Responsible Officer:  Dean, CECS/Page Contact:  CECS Marketing