计算机科学与技术学院（人工智能学院）举办国家自然科学基金重大项目学术交流会议

8月6日至8日，国家自然科学基金重大项目“嵌入式软件智能合成基础理论与方法”学术交流会议在杭州举行。本次会议由北京控制工程研究所主办，华体会体育（中国）HTH·官方网站计算机科学与技术学院（人工智能学院）与浙江师范大学计算机科学与技术学院（人工智能学院）承办。来自北京大学、中国科学院软件所、西北工业大学、西安电子科技大学、北京控制工程研究所、华东师范大学等课题承担单位60余位师生参加会议。北京控制工程研究所总工程师顾斌研究员主持交流会。

项目首席专家、中国科学院院士、中国空间技术研究院杨孟飞研究员，北京大学金芝教授、詹乃军教授，西安电子科技大学段振华教授、田聪教授，西北工业大学董云卫教授，北京控制工程研究所顾斌研究员、李晓锋研究员，西南大学刘志明教授，大连理工大学江贺教授，浙江师范大学党委书记蒋云良教授、郑忠龙教授，华体会体育（中国）HTH·官方网站丁佐华教授等课题负责人、项目指导专家参加会议。期间，华体会体育（中国）HTH·官方网站副校长郭玉海教授与杨孟飞院士等专家进行了座谈交流。

首先，顾斌研究员代表项目依托单位对与会领导及专家们的出席表示热烈欢迎。浙江师范大学党委书记蒋云良教授、华体会体育（中国）HTH·官方网站科技处王文涛副处长和计算机学院软件工程学科带头人丁佐华教授代表承办单位先后致辞。

会议聚焦杨孟飞院士主持的国家自然科学基金重大项目“嵌入式软件智能合成基础理论与方法”，围绕软件智能合成要素、合成代码质量保证等核心问题展开交流与探讨。主题报告环节，北京大学金芝教授、詹乃军教授，西安电子科技大学田聪教授，西北工业大学董云卫教授，北京控制工程研究所李晓锋研究员，分别就“基于软件IP的嵌入式软件需求描述语言”“面向嵌入式系统的软件IP知识建模与构造”“基于软件IP的嵌入式软件智能合成与优化”“嵌入式软件合成过程及产品的质量保障”“嵌入式软件智能合成验证与示范应用”等议题，作了精彩的报告。不仅分享了各课题的最新研究进展，也明确了下一步工作内容和方向。