自然科学学术活动月系列学术讲座（240）
题目：安全攸关软件形式化验证工具探索
主讲人：赵永望 教授
时间：2023年11月24日 星期五 13:30
地点：10号楼315 会议室
主讲人简介：
赵永望，浙江大学 教授/博士生导师，移动终端安全技术浙江省工程研究中心主任，工信部重大专项首席科学家，CCF杰出会员。主要研究方向为系统安全、形式化验证、编程语言、嵌入式操作系统等，主持和参与国家重点研发计划、国家自然基金重点项目、工信部重大专项、载人航天工程重点项目等三十余项，获省部级科技进步一等奖2项，相关成果发表在ACM TOPLAS、IEEE TDSC等期刊和CAV、FM、TACAS等会议上。
报告摘要：
安全攸关软件是一类其错误/故障会导致系统失效，从而引起重大生命、财产损失的软件。形式化验证已成为工业界保证安全攸关软件正确性和安全性的主要手段之一，但是，目前业界的形式化验证工具存在技术门槛高、易用性低、适用面有限等不足，本报告主要介绍我们研发的一系列形式化验证工具，包括定理证明云平台、源码自动化验证工具、符合CC的形式化框架等，并介绍这些工具的实际应用与不足，进一步讨论探索形式化验证工具研发的一些观点。
主办单位：华体会体育（中国）HTH·官方网站科学技术处、华体会体育（中国）HTH·官方网站科学技术协会，华体会体育（中国）HTH·官方网站教师发展中心
承办单位：计算机科学与技术学院（人工智能学院）
自然科学学术活动月系列学术讲座（241）
题目：云边协同工业大数据分析与系统
主讲人：袁小锋 教授
时间：2023年11月24日星期五 10:00
地点：25号楼1210
主讲人简介：
袁小锋，中南大学教授、博士生导师，分别于2011年和2016年获得浙江大学学士和博士学位，2014年至2015年在加拿大阿尔伯塔大学进行联合培养。主要从事工业大数据建模和解析相关研究工作，主持国家自然科学基金重大研究计划培育项目、面上项目、青年基金和国家重点研发计划子课题共4项，以及省部级和校企合作项目10项，发表第一/通讯作者SCI论文60余篇，以第一发明人授权国家发明专利10项，获中国自动化学会自然科学一等奖和湖南省自然科学二等奖各1项，以及国内外会议优秀论文奖3项。湖南省杰出青年基金获得者，入选全球2%顶尖科学家榜单、中国科协青年托举人才、湖湘青年英才、湖南省青年骨干教师等。现任国际自动控制联盟IFAC Industry Committee、IFAC TC 1.1、中国自动化学会过程控制专委会、中国人工智能自主无人系统专委会等多个专委会委员，担任IEEE Transactions on Instrumentation and Measurement、IEEE Sensors Journal等国际期刊Associate Editor，并担任IEEE/CAA Journal of Automatica Sinica等期刊青年编委。
报告摘要：
工业互联网是实现工业智能化的关键基石，构建数据互联互通和业务高效协同的大数据智能分析技术与平台是工业互联网的核心组成部分。目前，面向工业互联网的大数据分析及应用面临数据分析能力弱、云边协同高时延等难题。报告将介绍课题组近年来面向工业互联网需求的云边协同大数据分析技术和系统研发，主要介绍基于边缘开发套件、云服务器等一体化的云边硬件集成平台搭建，数据/参数/推理三效协同的高效云边协同框架，高性能深度学习复杂工业数据处理算法，以及云边工业大数据智能分析软件平台。
主办单位：华体会体育（中国）HTH·官方网站科学技术处、华体会体育（中国）HTH·官方网站科学技术协会，华体会体育（中国）HTH·官方网站教师发展中心
承办单位：信息科学与工程学院
今天是：
搜索