应西北师范大学计算机科学与工程学院邀请，兰州理工大学冯涛研究员将在线为我校师生作学术报告。具体事宜公告如下：

报告题目：区块链服务网络可验证计算安全协议的形式化建模及关键技术研究

报告时间：2022年10月21日14:30

报告方式：腾讯会议

届时欢迎广大师生在线参与交流！

【报告人简介】

冯涛，西安电子科技大学计算机系统结构专业工学博士，新加坡管理大学信息安全实验室访问学者。兰州理工大学计算机与通信学院院长、研究员、博士生导师，计算机科学与技术国家级一流专业负责人，计算机科学与技术甘肃省省级重点学科负责人，甘肃省高校协同创新科技团队“网络与信息安全科技创新团队”负责人。兼任甘肃省互联网协会副理事长，甘肃省商用密码行业协会副会长，中国网络安全协会、中国计算机学会会刊“网络与信息安全学报”编委，西安电子科技大学出版社“网络空间安全专业系列教材编审专家委员会”编委，兰州CCF分部主席（2018-2020）。主要从事网络空间安全、区块链、工业互联网领域的基础理论和关键技术研究，涉及协议安全形式化分析与设计、网络化控制系统安全检测和评估、网络空间应用系统的安全设计与实现、网络空间系统隐私保护、工业互联网互联互通安全关键技术、区块链安全中间件设计与实现等。主持国家自然科学基金项目 4 项，参与 863 计划项目、国家自然科学基金项目 5 项、主持其它类项目 30 余项；获甘肃省“第九届高校教师成才奖”，甘肃省教学成果一等奖，甘肃省科技进步三等奖、甘肃省自然科学三等奖各1项；在SCI 、EI 收录期刊发表学术论文100 余篇；获授权国家发明专利10项。