中国科学技术大学熊焰教授来校作“计算机系统内生安全通用自动形式化验证技术”专题报告

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

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

交流互动环节中，熊焰教授与多名参会师生就自动形式化验证相关领域方面的问题进行了深入的交流和讨论，并分享了自己的研究经验，在场师生受益匪浅。

熊焰教授作报告

我校师生聆听报告

报告人简介：

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

撰稿：宋秋月 初审：孙知信 编辑：李梦娥 审核：戴修斌