6月6日下午，浙江理工大学青年科学家学科交叉论坛9999js金沙老品牌（人工智能学院）专场在25号楼920会议室顺利举行，本次活动邀请了浙江大学计算机学院王新宇教授、浙江大学百人计划陈明帅研究员和我校计算机学院优秀教师赵泱泱讲师作为主讲嘉宾，由9999js金沙老品牌副院长蒋明峰教授主持，全校近50余名师生参加，现场交流气氛热烈。

      王新宇教授做了题目为“时序大数据实时智能处理技术与应用”的讲座，讲述了多流时序数据高并发在线处理、时序大数据实时计算、动态时序图实时计算、多核融合的实时智能决策等几方面亟需解决的科学问题，以及相应的理论研究、技术体系构建与平台研发等方面的工作与成果，同时介绍了时序数据实时智能处理技术在金融、交通、运营商等多个领域的应用案例。

      陈明帅研究员带来题为“Latticed k-Induction with an Application to Probabilistic Programs”的报告，讲述了概率程序本质上是一种可被计算机执行的随机过程。针对概率程序的形式化验证是保障随机系统正确性和安全性的重要途径，在密码学、随机算法、量子计算、近似计算及人工智能等领域具有重要的理论与应用价值。本报告提出了格型k-归纳准则，将经典的定义在迁移系统上的k-归纳准则推广至任意完备格结构上，进而将非1-归纳的不动点上界验证问题实例化到最弱前置期望演算，并利用成熟的SMT求解技术实现了无穷状态概率程序的自动化验证。

      赵泱泱老师讲述了软件重构是软件维护中最重要的实践之一，是提高软件设计质量的重要手段。由于软件重构需要对整个软件系统有一个整体的看法，重构软件往往是一项非常具有挑战性的任务。为此，最近的研究引入了基于搜索的算法来促进软件重构。但是，它们仍然存在以下主要限制：1）搜索的解决方案可能违反设计原则，因为它们的适应度函数不能直接反映软件对设计原则的符合程度；2）大多数方法从完全随机的初始种群开始搜索过程，这可能导致非最优解。赵老师重点阐述了DEPICTER模型，这是一种设计原则指导和启发式规则约束的软件重构推荐方法，可以缓解以上两方面的限制，为开发人员推荐更好的重构活动，可以提高软件的协作程度。

      三位嘉宾均在报告末尾对其研究领域做了总结与展望，并就师生互动时提出的问题做了耐心细致的解答。本次以“智能计算与软件”为主题的论坛内容十分丰富，开阔了校内相关专业师生的学术视野，营造了良好的学术氛围，与会人员纷纷表示收获颇丰。