# Daoyuan Wu

> 吴道远是一位研究教授，专门研究人工智能安全、区块链和智能合约验证，是PropertyGPT白皮书的合著者。

- Canonical URL: https://iq.wiki/zh/wiki/daoyuan-wu
- Categories: People in crypto
- Tags: Developer, Founder
- Created: 2024-06-24T20:09:34.098Z
- Last updated: 2024-07-08T14:44:39.979Z
- Source: IQ.wiki — the world's largest blockchain and crypto encyclopedia (https://iq.wiki)

---

**吴道远**是一位研究教授，也是[PropertyGPT](https://iq.wiki/wiki/propertygpt) [白皮书](https://iq.wiki/wiki/white-paper)的合著者之一，该白皮书是一个端到端的系统，利用大型语言模型（LLM）来自动生成用于[智能合约](https://iq.wiki/wiki/smart-contract)的形式验证的综合属性。[\[1\]](#cite-id-e8gt64ikmws)

## 教育背景

吴于2011年毕业于南京邮电大学，获得信息安全专业的工学学士学位。之后，他进入香港理工大学，并于2015年获得计算机科学哲学硕士学位。之后，他于2019年获得新加坡管理大学的智能手机和系统安全博士学位。[\[2\]](#cite-id-ueqe09nsuz)

## 职业生涯

吴于2011年9月至2012年8月在香港理工大学担任研究助理，研究Android安全和网络测量。2019年8月，他在香港中文大学担任研究助理教授三年。之后，他成为华为香港研究中心的高级研究员，在那里工作了七个月。2022年12月，他回到香港中文大学担任兼职助理教授，直到2023年11月。在此期间，他在新加坡南洋理工大学做了为期十个月的研究员。自2024年4月起，吴一直担任香港科技大学的研究助理教授，专门研究LLM和人工智能安全、[区块链](https://iq.wiki/wiki/blockchain)和金融科技安全，以及移动和软件安全。[\[3\]](#cite-id-5hnr40zzsy3)