2023年4月25日下午，中国科学技术大学熊焰教授应邀来我院作“计算机系统内生安全通用自动形式化验证技术”专题报告。本次报告由现代邮政学院院长孙知信教授主持，是81周年校庆系列学术活动之一，我院青年教师、学生聆听了报告。

报告会上，熊焰教授介绍了形式化验证的基本概念，简略说明了网络空间所涉及的安全威胁，并进一步详述了自主研发的网络安全协议通用全自动形式化系统SmartVerif以及比特币挖矿协议新型安全漏洞-酬薪盗取的发现。随后熊焰教授描述了自主研发的基于以太坊平台智能合约通用全自动形式化验证系统FASVERIF，同时向我们展示了验证成果。最后熊焰教授简述了正在研发的区块链主链、芯片以及软件通用全自动形式化验证。

交流互动环节中，熊焰教授与多名参会师生就自动形式化验证相关领域方面的问题进行了深入的交流和讨论，并分享了自己的研究经验，在场师生受益匪浅。本次专题报告的顺利举办，促进了校外专家与校内师生在计算机形式化验证领域的学术交流，推进我院学科建设不断发展。

熊焰教授作报告

我院青年教师、学生聆听了报告

嘉宾简介：

熊焰，男，留美博士后、教授、博士生导师，国际计算机学会ACM中国理事会常务理事、电子学报中英文版常务编委、中国通信学会通信软件专委会委员、安徽省云计算产业促进会会长，担任过国家自然科学基金委计算机学科面上项目会评专家及重点项目会评组长、国家科技部科技进步奖、技术发明奖会评专家、科技部重点研发计划项目会评专家及组长、科技委173（原973）计划专家组成员。1983年、1986年分别获得科大学士、硕士学位，1990年成为科大计算机系博士，1992-1994年任科大计算机系副主任，1995-1997年赴美UMKC大学计算机科学与通信学院做博士后研究。曾获得省部级科技进步奖一等奖1项、二等奖1项，三等奖1项，安徽省青年科技奖1项。至今已在国内外核心期刊和学术会议上发表论文近200篇。先后主持的项目有国家自然科学基金面上项目及重点项目，国家863面上、重大专项、重大项目，国家 973课题，科技部重点研发计划课题等40多项国家和省部级项目。

撰稿：宋秋月

图片：宋秋月

审核：孙知信