本網訊 近期，國家自然科學基金重大項目“嵌入式軟件智能合成基礎理論與方法”2023上半年總結暨學術交流會議在呼和浩特舉行。本次會議由北京大學、北京控制工程研究所主辦，內蒙古師范大學計算機科學技術學院承辦。項目首席專家、中國空間技術研究院院士楊孟飛，北京大學金芝，西安電子科技大學段振華，國防科技大學董威，同濟大學劉關俊，北京控制工程研究所總工程師顧斌等課題負責人、重要成員和項目指導專家出席會議。我校黨委副書記、校長張軍為大會致辭。副校長賈美林主持會議開幕式。課題承擔單位的相關師生參加會議。
會議聚焦楊孟飛主持的國家自然科學基金重大項目 “嵌入式軟件智能合成基礎理論與方法”，圍繞項目中的需求描述語言、軟件IP表示模型、軟件智能合成等方面展開交流與探討。相關負責人匯報了各子課題的前期工作進展，并明確了下一步工作內容和方向。
張軍全面介紹了我校的發展情況以及取得的成績，強調了該項目對于我校學科建設、學術影響力提升方面的重要意義，希望通過參與項目研究，能夠不斷提升我校“智能化軟件需求分析”科研團隊的學術能力，擴大科研影響力。他表示，學校將充分發揮學科、人才、科研等優勢，匯聚各方資源條件，為項目高質量完成提供全方位支持和服務。
期間，楊孟飛與張軍、賈美林等進行了座談交流。
圖文：計算機科學技術學院
