新葡京官网-澳门新葡亰亚洲在线

旧版入口 | ENGLISH | VPN登录

新葡京官网

您的当前位置是: 新葡京官网 -> 学术报告 -> 内网报告 -> 正文
计算机科学与技术学院-学术报告
发布时间:2020-12-16        文章来源:       浏览:次

题 目: 网络安全协议通用全自动形式化验证系统SmartVerif

报告人: 熊 焰 教授、博导

时 间: 20201217日 下午4:30

地 点: 秀山校区逸夫楼202

对 象: 计算机学院相关师生

主办单位:  计算机科学与技术学院

报告人概况:

熊焰,男,留美博士后、中国科技大学计算机学院教授、博士生导师,国际计算机学会ACM中国理事会常务理事、电子学报常务编委、中国通信学会通信App专家委员会委员。1983年、1986年分别获得科大学士、硕士学位,1990年成为是科大计算机系博士,1992-1994年任科大计算机系副主任,1995-1997年赴美UMKC大学计算机科学与通信学院做博士后研究,现任计算机网络与信息安全研究室主任。曾获得省部级科技进步奖二等奖2项、三等奖1项,安徽省青年科技奖1项。至今已在国内外核心期刊和学术会议上发表论文200多篇。先后主持的项目有国家自然科学基金项目、国家自然科学基金重点项目、国家863重大专项、国家863重大项目、国家863项目、国家 973专题、中科院重大专项以及中科院国防创新基金等40多项国家和省部级项目。

 

佳山校区地址:安徽省马鞍山市湖东路59号
邮编:243002
秀山校区地址:安徽省马鞍山市马向路新城东区
邮编:243032

官方微信

官方微博

版权所有 ? 2020  新葡京官网 【皖ICP备19010821 皖公网安备 34050302000234号】

XML 地图 | Sitemap 地图