华体会体育（中国）HTH·官方网站青年科学家学科交叉论坛计算机学院专场

【论坛介绍】
      青年科学家学科交叉论坛是学校重点打造的学科交叉学术品牌，由校科协主办，各理工科学院轮流承办，开展覆盖全年度的高层次、跨学科的学术盛宴，由国内外知名学者领衔主讲、青年科学家对讲，以促进学科交叉，共通共融为愿景，以鼓励学术争鸣、百花齐放为宗旨，激发能量碰撞，创新直指未来，为浙理工青年科学家们搭建大视野、高能级的交流平台。

【主题内容】智能计算与软件

【时 间】2023 年 6 月6日 14:00-17:00

【地 点】25号楼920会议室

【主办单位】华体会体育（中国）HTH·官方网站科学技术协会、教师发展中心

【承办单位】 计算机科学与技术学院( 人工智能学院 )

【主讲专家及介绍】

报告一：

报告题目：时序大数据实时智能处理技术与应用

报告人：王新宇教授 博导

报告摘要：随着万物互联时代的到来，时序数据量越来越大，对分析时效性的要求也越来越高，从小时级、分钟级逐渐提高至秒级、毫秒级甚至微秒级。因此针对时序数据的实时智能处理与分析已成为智能计算与软件领域有重大意义的问题。报告提出了多流时序数据高并发在线处理、时序大数据实时计算、动态时序图实时计算、多核融合的实时智能决策等几方面亟需解决的科学问题，以及相应的理论研究、技术体系构建与平台研发等方面的工作与成果。同时介绍时序数据实时智能处理技术在金融、交通、运营商等多个领域的应用案例。

报告人简介：

王新宇，浙江大学计算机学院教授、博士生导师，国家万人创新领军人才入选者。研究方向为实时智能计算、软件工程。突破大数据毫秒级处理技术、高并发集群软件设计方法及高可信软件架构等重大工业难题多项。研发大数据实时处理与分析技术，孵化我国自主知识产权的时序数据实时计算平台—“流立方”，在国内金融、网安等领域400多家单位得到广泛应用，技术创新成果填补多项国内空白。相关成果获得全球软件顶级会议ICSE2018杰出论文奖、ICSE2020杰出论文奖、2016年教育部科技进步一等奖 、2019年中国电子学会科技进步特等奖、2022年广东省科技进步一等奖。

报告二：

报告题目：Latticed k-Induction with an Application to Probabilistic Programs

报告人：陈明帅 研究员、博导

报告摘要：

I revisit two well-established verification techniques, k-induction and bounded model checking (BMC), in the more general setting of fixed point theory over complete lattices. The main theoretical contribution is latticed k-induction, which (i) generalizes classical k-induction for verifying transition systems, (ii) generalizes Park induction for bounding fixed points of monotonic maps on complete lattices, and (iii) extends from naturals k to transfinite ordinals κ, thus yielding κ-induction (pronounced “kappa induction"). The lattice-theoretic understanding of k-induction and BMC enables us to apply both techniques to the fully automatic verification of infinite-state probabilistic programs. Our prototypical implementation manages to automatically verify non-trivial specifications for probabilistic programs taken from the literature that — using existing techniques — cannot be verified without synthesizing a stronger inductive invariant first.

报告人简介：

陈明帅，浙江大学百人计划研究员、博士生导师、启真学者。2019 年于中国科学院软件研究所获计算机软件与理论专业博士学位，2019 年至 2022 年于德国 RWTH Aachen 从事博士后研究工作。研究方向为形式验证、数理逻辑、程序理论、概率/量子系统、信息物理融合系统等，在 Inf. Compt.、IEEE Trans. Automat. Contr.、OOPSLA、CAV、FM、IJCAR 等重要国际期刊/会议发表学术论文20余篇，任美国数学学会 Mathematical Reviews 评论员，SYNASC、RTCSA等国际会议程序委员会委员，及 POPL、CAV、ICALP、RTSS 等近 30 个国际会议/期刊的同行审稿人。曾获中国科学院院长特别奖、ATVA 2018 杰出论文奖、FMAC 2019 最佳论文奖、Springer Nature 计算机领域 2020 年中国学者 1%高影响论文，曾受邀在 RTSS 2020、ESWEEK 2022 等顶级国际会议做专题报告。作为项目骨干承担国家重点研发计划，研究成果被成功应用于国家探月二期工程“嫦娥”三号软着陆等重大工程中的控制软件正确性保障。

报告三：

报告题目：A Design-Principle Guided and Heuristic-Rule Constrained Software Refactoring Approach

报告人：赵泱泱

报告摘要：Software refactoring is one of the most significant practices in software maintenance as the quality of software design tends to deteriorate during software evolution. But, refactoring software is a very challenging task as it requires a holistic view of the entire software system. To this end, recent studies introduced search-based algorithms to facilitate software refactoring. However, they still have the following major limitations: 1) the searched solutions may violate the design principles as their fitness functions do not directly reflect the degree of software's compliance with design principles; 2) most approaches start the searching process from a completely random initial population, which may lead to unoptimal solutions. To mitigate these limitations, we propose DEPICTER, a design-principle guided and heuristic-rule constrained software refactoring recommendation approach, to recommend better refactoring activities for developers which can improve the degree of software’s compliance with design principles as well as the software design quality.

报告人简介：赵泱泱，华体会体育（中国）HTH·官方网站计算机学院讲师、硕士生导师。博士毕业于南京大学，期间曾赴美国加州大学戴维斯分校和香港理工大学访学。研究方向包括软件缺陷预测、软件重构、软件库挖掘和智能软件工程。在 TOSEM、FSE、ASE等在内的国际重要期刊和会议上发表论文十余篇，其中包括 CCF 推荐的 A 类和 B 类论文 9 篇（第一作者/通讯作者 5 篇）、SCI 二区的国际期刊论文1 篇 (第一作者)。共主持浙江省探索青年项目 1 项，参与国家基金项目 4项和省基金项目3项。