报告专家：刘艾

报告时间：2024年5月21日

报告地点：腾讯会议679-942-663

专家简介：南京航空航天大学计算机科学与技术学院副教授，国家重大人才工程A类青年人才，分别于中国科学技术大学（少年班）和北京大学获得学士和博士学位，曾任日本广岛大学助理教授。研究方向包括构件化系统的余代数建模、可信软件、形式化方法等。曾获日本情报处理学会软件工程组的卓越研究赏，曾在IEEE TSE、IEEE TR、JSS、ICFEM等期刊或会议上发表过多篇论文。

主办单位：学科建设办公室

承办单位：计算机科学与技术学院