786校友熊焰：中科大首位计算机博士 SmartVerif系统问世
熊焰教授团队自主研发网络安全协议验证系统SmartVerif
中科大786校友熊焰，1960年8月生，现任中国科学技术大学计算机科学与技术学院教授、博士生导师，计算机网络与信息安全研究中心主任。1990年成为中科大计算机系首位博士。
2024年2月18日，熊焰教授开展"网络安全协议自动形式化验证系统"学术报告，介绍团队自主研发的SmartVerif系统——网络安全协议通用全自动形式化验证系统。该系统可对网络协议面临的安全威胁进行形式化验证分析。
学术经历：
- 1983年、1986年分获中科大学士、硕士学位
- 1990年获中科大计算机系首位博士学位
- 1992-1994年任计算机系副主任
- 1995-1997年赴美国密苏里大学堪萨斯城分校博士后
现任ACM中国合肥分会主席、国家自然科学基金委计算机学科评审组专家、安徽省云计算产业促进会会长。