吴道远是一位研究教授，也是PropertyGPT 白皮书的合著者之一，该白皮书是一个端到端的系统，利用大型语言模型（LLM）来自动生成用于智能合约的形式验证的综合属性。^[1]

教育背景

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

职业生涯

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