新闻动态
-
06
2025-11
软件学院召开全体教职工会议
2025年11月5日下午，软件学院召开全体教职工会议，学习传达党的二十届四中全会精神，传达学校相关会议精神和工作要求，部署学院贯彻落实工作，会议由党委书记庄岩主持。首先，庄岩以“党的二十届四中全会提出的新概念、新观点、新论断”为题讲专题党课，围绕习近平总书记重要讲话精神和《中共中央关于制定国民经济和社会发展第十五个五年规划的建议》，结合学校党委专题部署和软件学院学科领域相关重点任务进行学习交流，引导全...
-
29
2025-10
新一代AtomGit平台暨人工智能开源社区正式发布，软件学院胡春明院长受邀作主题发言
2025 年 10 月 28 日，在北京国家会议中心，“共建·共智·共享—— AtomGit 全新升级暨人工智能开源社区发布会”隆重举行，由开放原子开源基金会携手 CSDN 等多方合作伙伴共同推动，推动 AtomGit 与 GitCode 平台进行深度融合与能力升级，共同打造新一代 AtomGit 平台以及人工智能开源社区。从 GitCode 到 AtomGit：一次面向未来的新起点过去几年，GitCode 见证了中国开源社区的快速成长。从代码托管到模型共享，从开发协作到项...
-
14
2025-10
“中国数谷・华为杯”第二届中国研究生操作系统开源创新大赛全国总决赛圆满落幕
开源聚智，智绘数谷。近日，“中国数谷・华为杯”第二届中国研究生操作系统开源创新大赛全国总决赛在杭州高新区（滨江）圆满落下帷幕。本次大赛以“开源聚智·智绘数谷”为主题，旨在搭建高水平研究生学术交流与创新实践平台，推动我国操作系统领域核心技术突破与人才培养，吸引了来自全国多所高校的87支研究生团队同台竞技，展现了我国研究生群体在操作系统开源领域的强劲创新实力。北京航空航天大学获得“最佳组织单位”，斩获...
-
22
2025-09
第21届中欧软件工程教育国际研讨会（CEISEE 2025）成功举办
第21届中欧软件工程教育国际研讨会（CEISEE 2025）于2025年9月20日–21日在浙江省杭州市召开。本次大会由北京航空航天大学主办，哈尔滨工业大学、浙江大学滨江研究院协办，并得到了示范性软件学院联盟、《计算机教育》杂志社等单位大力支持。大会主席为北京航空航天大学胡春明教授、法国波尔多大学Yves Ducq教授和哈尔滨工业大学邬向前教授。本届会议以“GenAI Empowers Software Engineering Education for Student Competency...
-
16
2025-09
北航软件学院智能软件工程研究所师生再获IEEE TCSE杰出论文奖
近日，第41届IEEE国际软件维护与演化会议（IEEE International Conference on Software Maintenance and Evolution, ICSME 2025）在新西兰奥克兰成功举办。ICSME是中国计算机学会（CCF）推荐的软件工程领域B类国际学术会议，历史悠久、影响力广泛，是全球软件维护、演化与分析研究社区交流最新成果、分享创新思想的重要国际平台。在本届会议中，北京航空航天大学软件学院智能软件工程研究所师生共有两篇研究论文被录用。 论文的...
-
29
2025-08
全国唯一！北航软件学院学子斩获中国软件杯大赛全国一等奖（特别奖）
日前，第十四届“中国软件杯”大学生软件设计大赛全国总决赛于8月25日-28日在苏州大学隆重举办。“中国软件杯”是由工业和信息化部、教育部和江苏省政府共同主办的全国性赛事，秉承“政府指导，企业出题，高校参与，专家评审，育才选才”方针，题目均来自于一线企业痛点难点，以“催生多重效应，引领产业创新”为宗旨，在深化产教融合、产融对接、创新人才培养、激励人才创新，推动科研创新、成果转化等方面搭建了重要的平台和...
-
29
2025-08
北航软件学院周号益团队发表科学智算基础模型“OmniArch”，实现1D-2D-3D偏微分方程统一求解
近日，我院周号益副教授团队在科学智算方向取得重要进展，提出科学智算基础模型OmniArch，首次以单一模型统一求解1D、2D、3D多维偏微分方程（PDE），在多项关键指标上显著优于现有方法。相关成果以“OmniArch: Building Foundation Model for Scientific Computing”为题在国际机器学习大会 ICML 2025 发表。论文地址：https://openreview.net/pdf?id=UlprLwWYKP代码地址：https://openi.pcl.ac.cn/cty315/OmniArchCNAI4S科学智...
-
27
2025-08
会议通知 | 第二十一届中欧软件工程教育国际会议(CEISEE 2025)
第二十一届中欧软件工程教育国际会议(CEISEE 2025)2025年9月20-21日杭州·中国随着生成式人工智能和数字经济的迅猛发展，软件工程教育正步入一个全新的时代。新兴技术正在重塑全球各个产业，对创新性、面向产业的软件教育提出了更高要求。在“一带一路”倡议的推动下，中国与欧洲在软件工程、数字经济、信息技术产业以及人才培养等领域不断深化合作，共同应对新技术、新经济和新范式所带来的挑战。自2005年以来，中欧软件工程教...
-
20
2025-08
北航软件学院罗川团队斩获第20届国际可满足性模理论（SMT）求解竞赛冠军
近日，第20届国际可满足性模理论求解竞赛（SMT-COMP 2025）正式公布竞赛结果。由北京航空航天大学软件学院罗川副教授团队研发的Z3-Noodler-Mocha求解器在字符串及其混合理论分组（QF_Strings Division）中斩获冠军，并在所有评价指标上均位列第一。这是国际可满足性模理论求解竞赛自创办以来，首次全部由中国成员组成的团队在字符串及其混合理论分组（QF_Strings Division）夺冠，标志着我国在该研究领域取得重大突破。可满足性...
-
16
2025-08
教育部编译课程虚拟教研室建设经验及典型教研成果分享：传承创新、协同发展，北航编译课程虚拟教研室建设探索与实践
北航编译课程团队始建于上世纪80年代，秉承良好的传帮带传统，经历了几代老师，建成了国家精品课、国家精品资源共享课和国家级一流课程。20多年前，多种因素导致全国编译课程整体水平下滑。2009年北航张莉教授联合当时的编译国家精品课程单位（国防科技大学、武汉大学、中南大学、北京工业大学）牵头发起了“全国编译课程研讨会”，该会议每两年举办一次，迄今已持续十余年。教育部编译课程虚拟教研室基于上述合作基础进行建设...