报告题目：智能化软件开发方法及其支撑环境

报告时间：2021年6月19日9:30

报告地点：艾博丽思酒店三楼会议室

报告人：迟萌

报告人简介：

迟萌，2015年获得吉林大学计算机科学与技术学院计算机应用专业博士学位，现就职于浙江大学先进技术研究院。长期从事智能化软件开发方法、数据管理与分析等领域的研究工作。

报告内容简介：

以智能化软件开发方法为主线，围绕领域建模语言设计、安全性验证以及代码生成等关键技术，介绍在航天嵌入式、服务化、机器人等领域的研究进展以及取得的成果，并展望未来该研究领域的发展方向。

主办单位：吉林大学计算机科学与技术学院

吉林大学软件学院

吉林大学计算机科学技术研究所

符号计算与知识工程教育部重点实验室

仿真技术教育部重点实验室

网络技术及应用软件教育部工程研究中心

吉林大学国家级计算机实验教学示范中心