计算机科学与技术学院（人工智能学院）智能软件工程团队赴天基综合信息系统全国重点实验室调研交流

2025年10月17日，我院智能软件工程团队在丁佐华教授的带领下，前往中国科学院软件研究所天基综合信息系统全国重点实验室开展调研交流。天基综合信息系统全国重点实验室主任徐帆江研究员、北京大学詹乃军教授以及实验室相关领域专家共同出席了交流活动。会议由实验室刘朝晖研究员主持。

调研团队首先实地参观并深入了解了实验室自主研制的卫星互联网研判分析平台，重点考察了该平台在卫星互联网数据管理、入轨预测分析等方面的关键技术突破与系统集成能力。

在随后的座谈会上，徐帆江主任对调研团队的来访表示热烈欢迎，并系统介绍了实验室的研究方向布局、重大科研成果、人才队伍建设以及运行管理机制等方面的经验与成效。实验室多位专家分别围绕飞行器实时数据管理关键技术、安全攸关嵌入式系统的形式化设计与验证、程序自动生成技术等方向，分享了最新研究进展。林望代表我院智能软件工程团队，介绍了团队近年来在软件工程领域所取得的研究成果与技术发展。

座谈期间，双方围绕学科建设与科研合作等议题进行了深入探讨，一致表示将在科学研究与技术研发等方面进一步加强深度协作。

此次交流为我院智能软件工程团队与天基综合信息系统全国重点实验室之间的长期合作奠定了坚实基础，有助于促进双方优势互补，共同推动软件工程领域实现更高水平的协同创新与发展。