Alwen Tiu

Associate Professor

Picture of Alwen Tiu

Location
CSIT Building 108, Office N334

Email
alwen.tiu@anu.edu.au

Phone
+61 2 6125 3666

Publications
ORCiD
dblp
Google Scholar

Social
LinkedIn

Research#

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.

Biography#

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.

Activities & Awards#

See my DBLP page.

bars search times arrow-up