望安科技特聘专家 David Sanan 博士受邀参加CCF 2022中国软件大会并作专题报告

2022年CCF 中国软件大会（CCF ChinaSoft 2022）于2022年11月25-27日以线上会议的方式举行。本届大会由CCF主办，CCF软件工程专委会、系统软件专委会、形式化方法专委会、复旦大学承办。本次大会主题是“聚焦产教研用协同创新，提升关键软件供给能力”，12位院士线上莅临，40场论坛精彩纷呈。其中，望安科技特聘专家David Sanan 博士受邀参加约束求解与定理证明论坛上作“Formal Methods for the Web3”专题报告。

David Sanan分别于2003年和2009年获得西班牙马拉加大学计算机科学硕士学位和软件工程与人工智能博士学位。他的研究兴趣涵盖了从程序设计语言语义到软件验证等广泛应用的形式化方法。David在过去几年中一直致力于将形式化方法应用于现实世界的应用，如量子计算、智能合约认证以及航空航天和电动汽车领域的安全微内核验证。

chinasoft CCF2022 约束求解与定理证明论坛

特邀报告：Formal Methods for the Web3  

约束求解与定理证明论坛是中国软件大会的一个专刊论坛，是促进约束求解与定理证明两方面发展的学术交流平台。该论坛具体关注约束求解和定理证明的理论、技术、工具与应用，包括在EDA、符号执行、模型检测、程序分析与验证、系统安全等领域的应用。论坛包括1个特邀报告和8个常规报告。其中，望安科技特聘专家David Sanan博士作了关于Web 3形式化验证方法的特邀报告。