Dr Alwen Tiu

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.