2月18日，在博学楼A3W301会议室，中国科学技术大学知名教授熊焰应邀来我校开展了一场题为“网络安全协议自动形式化验证系统”的精彩报告。本次报告由副校长李震主持，计算机（大数据）学院副院长（主持工作）戴平、副院长朱洪军、副院长吴锦华及部分骨干教师教师和学生代表参与了此次活动。

（图为李震致辞）

在报告会上，熊焰教授首先深入剖析了网络协议所面临的安全威胁，以及形式化验证的基本概念和方法。他随后详细介绍了自己团队自主研发的网络安全协议通用全自动形式化验证系统——SmartVerif。该系统在网络安全协议验证领域具有显著的创新性和实用性。熊焰教授还进一步阐述了SmartVerif系统在区块链技术中的应用，以及协议侧信道安全威胁的防范策略。他还分享了关于芯片及软件自动形式化验证的最新研究成果和技术进展。

（图为熊焰作专题报告）

此次报告会不仅为我校师生提供了一个近距离接触和学习前沿科技的机会，进一步拓宽了学术视野，也加强了我校与中国科学技术大学等国内顶尖高校之间的学术交流与合作，为推动我校学科专业建设的发展注入了新的活力。

嘉宾简介：

熊焰，男，留美博士后、教授、博士生导师，国际计算机学会ACM中国区合肥分会（即安徽地区）主席、国家自然科学基金委计算机学科评审组会评专家、国家科技部科技进步奖计算机与自动化学科组会评专家、电子学报常务编委、中国通信学会通信软件专家委员会委员、安徽省云计算产业促进会会长、安徽省网络安全与信息化专家组成员。1983年、1986年分别获得科大学士、硕士学位，1990年成为是科大计算机系博士，1992-1994年任科大计算机系副主任，1995-1997年赴美UMKC大学计算机科学与通信学院做博士后研究，现任计算机网络与信息安全研究室主任。曾获得省部级科技进步奖二等奖2项、三等奖1项，安徽省青年科技奖1项。至今已在国内外核心期刊和学术会议上发表论文100多篇。先后主持的项目有国家自然科学基金项目、国家自然科学基金重点项目、国家863重大专项、国家863重大项目、国家863项目、国家 973专题、中科院重大专项等40多项国家和省部级项目。