Dr Alwen Tiu
School of Computing
ANU College of Engineering, Computing and Cybernetics
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.