4月26日

上午

西工大长三角

研究院1号楼

三层308室

段振华

教授

10:30-11:10

报告人：谢涛（北京大学）

题目：从智能化软件工程到可信软件自动化

11:10-11:35

报告人：张立军（中科院软件所）

题目：基于蒙特卡洛Buechi自动机语言非包含算法

11:35-12:00

报告人：江贺（大连理工大学）

题目：编译器优化与测试

4月26日

中午

12:00-13:00

自助午餐

（地点：西工大长三角研究院6号楼三层餐厅）

13:00-13:30

参观西工大长三角研究院、太仓校区展厅

（西工大长三角研究院1号楼一层大厅）

4月26日

下午

西工大长三角

研究院1号楼

二层203室

傅育熙

教授

毛晓光

教授

13:30-13:55

报告人：郭耀（北京大学）

题目：移动应用生态系统安全分析

13:55-14:20

报告人：刘世霞（清华大学）

题目：基于可视分析的可解释人工智能技术

14:20-14:45

报告人：王千祥（华为技术有限公司）

题目：AI增强的可信代码

14:45-15:10

报告人：乔磊（中国航天科技集团）

题目：航天器操作系统实时任务调度与准入控制分析

15:10-15:35

报告人：郝丹（北京大学）

题目：智能化软件测试的实践

15:35-15:45

茶歇

15:45-16:10

报告人：陈振宇（南京大学）

题目：软件工程产教研融合实践

16:10-16:35

报告人：李钦（华东师范大学）

题目：人工智能系统可靠性研究

16:35-17:00

报告人：常万里（湖南大学）

题目：智能汽车失效可操作

17:00-17:25

报告人：张民（华东师范大学）

题目：基于细粒度线性近似的卷积神经网络鲁棒性验证

17:25-17:50

报告人：陈立前（国防科技大学）

题目：数值程序分析、验证与修复

17:50-18:15

报告人：彭鑫（复旦大学）

题目：基于知识图谱的软件开发资源智能化推荐

4月26日

晚上

18:30-20:30

自助晚宴（地点：太仓华旭假日酒店一层西餐厅）

4月27日

上午

西工大长三角

研究院1号楼

二层203室

应时

教授

李晓红

教授

8:30-8:55

报告人：周明辉（北京大学）

题目：开源数字社会学

8:55-9:20

报告人：牟明（中航共性技术研究所）

题目：智能技术在机载系统研发中的应用

9:20-9:45

报告人：宋富（上海科技大学）

题目：基于BDD的二值化神经网络定量分析方法

9:45-10:10

报告人：马晓星（南京大学）

题目：程序代码粒度的动态软件更新

10:10-10:20

茶歇

10:20-10:45

报告人：金鑫（北京大学）

题目：软件定义的云计算操作系统

10:45-11:10

报告人：卜磊（南京大学）

题目：学习赋能的实时系统控制生成

11:10-11:35

报告人：赵永望（浙江大学）

题目：系统安全形式化验证的现状与展望

11:35-12:00

报告人：柳欣欣（中科院软件所）

题目：进程等式公理系统的层次体系

4月27日

中午

12:00-12:30

自助午餐

（地点：西工大长三角研究院6号楼三层餐厅）