Dr Alwen Tiu is an Associate Professor at the ANU School of Computing.

Dr Tiu’s research focuses on modelling aspects of computational systems, such software systems, communication protocols, and embedded devices, as mathematical theories and developing tools and techniques to prove their correctness or to find potential flaws.

His research work includes the development of custom secure mobile operating systems and verification tools for security protocols. He has also contributed to the security analysis of a number of contact tracing apps and Bluetooth-related devices.

Subscribe to ANU Reporter

Anu Logo

+61 2 6125 5111

The Australian National University, Canberra

CRICOS Provider: 00120C

ABN: 52 234 063 906

EDX Logo
Group of eight Australia Logo