Daoyuan Wu

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


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]


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, and fintech security, and mobile and software security. [3]

See something wrong? Report to us.

Daoyuan Wu

Commit Info

Edited By

Edited On

July 8, 2024


Average Rating

Based on over 1 ratings

How was your experience?

Give this wiki a quick rating to let us know!

Twitter Timeline




Join the IQ Brainlist

Sign up for the IQ Brainlist to get early access to editing on the site!

Join Now

Subscribe to our newsletter

The IQ Ecosystem Report will keep you updated on everything IQ.

Subscribe's vision is to bring blockchain knowledge to the world and knowledge onto the blockchain. A part of Brainfund group


What's IQ?StakingBonds


About usCareersWe're hiringBrandingIQ GPTIQ Dashboard

© 2024 Powered By BrainDAO & IQ