Daoyuan Wu is a research professor and one of the co-authors of the PropertyGPT whitepaper, an end-to-end system that leverages large language models (LLMs) to automate the generation of comprehensive properties for formal verification of smart contracts. ^[1]

Education

Wu graduated from Nanjing University of Posts and Telecommunications with a B.E. in Information Security in 2011. He then attended Hong Kong Polytechnic University and received his Master of Philosophy in Computer Science in 2015. Afterward, he went on to earn his PhD in Smartphone and System Security from Singapore Management University in 2019. ^[2]

Career

Wu was a research assistant at Hong Kong Polytechnic University, researching Android security and network measurement from September 2011 to August 2012. In August 2019, he worked as a research assistant professor at The Chinese University of Hong Kong for three years. He then became a senior researcher at Huawei Hong Kong Research Center, where he worked for seven months. In December 2022, he returned to The Chinese University of Hong Kong as an adjunct assistant professor, where he worked until November 2023. During this time, he did a ten-month research fellowship at Nanyang Technological University Singapore. Since April 2024, Wu has been a research assistant professor at The Hong Kong University of Science and Technology, specializing in LLM and AI security, blockchain and fintech security, and mobile and software security. ^[3]