新闻动态
-
20
2025-08
北航软件学院罗川团队斩获第20届国际可满足性模理论（SMT）求解竞赛冠军
近日，第20届国际可满足性模理论求解竞赛（SMT-COMP 2025）正式公布竞赛结果。由北京航空航天大学软件学院罗川副教授团队研发的Z3-Noodler-Mocha求解器在字符串及其混合理论分组（QF_Strings Division）中斩获冠军，并在所有评价指标上均位列第一。这是国际可满足性模理论求解竞赛自创办以来，首次全部由中国成员组成的团队在字符串及其混合理论分组（QF_Strings Division）夺冠，标志着我国在该研究领域取得重大突破。可满足性...
-
16
2025-08
教育部编译课程虚拟教研室建设经验及典型教研成果分享：传承创新、协同发展，北航编译课程虚拟教研室建设探索与实践
北航编译课程团队始建于上世纪80年代，秉承良好的传帮带传统，经历了几代老师，建成了国家精品课、国家精品资源共享课和国家级一流课程。20多年前，多种因素导致全国编译课程整体水平下滑。2009年北航张莉教授联合当时的编译国家精品课程单位（国防科技大学、武汉大学、中南大学、北京工业大学）牵头发起了“全国编译课程研讨会”，该会议每两年举办一次，迄今已持续十余年。教育部编译课程虚拟教研室基于上述合作基础进行建设...
-
26
2025-07
FCES2025第九届未来计算机教育峰会——计算机大类卓越工程师人才培养分论坛在长沙举办
7月25日，由中国计算机学会（CCF）主办、关键软件领域卓越工程师培养联合体、北京航空航天大学国家卓越工程师学院协办的FCES2025第九届未来计算机教育峰会——计算机大类卓越工程师人才培养分论坛，在长沙北辰国际会议中心成功举办。本次论坛由北京航空航天大学软件学院院长胡春明教授主持，汇聚了来自浙江大学、北京航空航天大学、清华大学、法国巴黎中央理工大学等国内外顶尖高校的专家学者，华为、百度、中航机载系统等行业...
-
25
2025-07
第25届软件质量、可靠性与安全国际会议召开
第25届软件质量、可靠性与安全国际会议（QRS 2025）于2025年7月16日-2025年7月20日在浙江省杭州市召开。本次大会由北京航空航天大学主办，北京航空航天大学杭州创新研究院承办，并得到了IEEE Reliability Society和中国计算机学会（CCF）系统软件专委会，以及华为、望安科技、University of Leicester、浙江大学、南京信息工程大学、浙江理工大学、浙江工业大学及江苏省计算机学会的大力支持。大会主席为我校软件学院院长胡春明...
-
11
2025-07
闫晓军副校长到软件学院调研指导工作
为加强对学校基层党组织开展深入贯彻中央八项规定精神学习教育的指导督导，推动全校学习教育走深走实，7月11日下午，闫晓军副校长到软件学院调研指导工作。学院领导班子成员及二级单位负责人参加会议，会议由学院党委书记庄岩主持。软件学院院长胡春明从学科及学院发展历程、学院总体情况、特色化示范性软件学院建设目标任务等方面作了介绍，就学习教育、党建引领、学科平台、团队建设、人才培养等方面汇报了学院各项重点工作，...
-
08
2025-07
北京航空航天大学软件学院2025年暑期学校成功举办
7月3日至4日，北京航空航天大学软件学院2025年暑期学校线下活动在北航学院路校区顺利举办。来自全国30所高校的40多名优秀学子齐聚北航，通过参观交流、学术报告、分组研讨等丰富活动，深入感受北航软件学院的学术底蕴与科研氛围，共话软件工程前沿发展。7月3日，暑期学校线下活动拉开帷幕，同学们陆续完成报到，并领取暑期学校材料及学院精心准备的纪念品及定制T恤。随后，同学们走进校史馆，在珍贵史料与生动讲解中探寻北航的...
-
20
2025-06
北航软件学院与工业和信息化部机关服务局文印中心联合开展联学共建活动
6月19日下午，软件学院党委联合工业和信息化部机关服务局文印中心党支部开展联学共建活动，深入贯彻中央八项规定精神学习教育，强化使命担当和履职尽责，促进党建与业务融合，以科技创新和人工智能发展助推新型工业化。座谈中，软件学院教师第一党支部书记、教学实验中心副主任于茜同志作了题为《深入学习习近平总书记关于人工智能重要论述》的专题汇报。她结合我国人工智能发展现状与学校科研实践，系统解读了习近平总书记关于...
-
20
2025-06
软件学院成果连续两年荣获特色化示范性软件学院联盟关键软件技术创新成果奖
近日，由教育部高教司指导、示范性软件学院联盟主办、浙江大学软件学院承办的2025年特色化示范性软件学院院长联席会议在浙江省宁波市召开。经过前期申报和评审，示范性软件学院联盟评选出2025年十大关键软件技术创新成果，集中展现了全国各高校特色化示范性软件学院在人工智能、航空工业、具身智能等领域关键软件技术的创新成果。软件学院胡春明教授、牛建伟教授、沃天宇教授、杨任宇副教授作为主要完成人，联合浙江大学、北航...
-
16
2025-06
软件学院“共创未来”校友论坛成功举办
6月7日，软件学院“共创未来”校友论坛在如心会议中心大报告厅隆重举行。本次论坛汇聚了众多杰出校友、行业专家及学院师生，共同探讨软件技术前沿与人才培养创新模式。论坛由软件学院党委书记庄岩主持。活动伊始，软件学院院长胡春明代表学院对各位校友返校回家表示热烈欢迎，他回顾了学院近年来在师资队伍建设、人才培养、科学研究等方面取得的突出成绩。胡春明指出，校友代表着一所大学人才培养质量，也是学院发展最宝贵的财...
-
26
2025-05
软件学院成果连续两年荣获特色化示范性软件学院联盟关键软件技术创新成果奖
近日，由教育部高教司指导、示范性软件学院联盟主办、浙江大学软件学院承办的2025年特色化示范性软件学院院长联席会议在浙江省宁波市召开。经过前期申报和评审，示范性软件学院联盟评选出2025年十大关键软件技术创新成果，集中展现了全国各高校特色化示范性软件学院在人工智能、航空工业、具身智能等领域关键软件技术的创新成果。软件学院胡春明教授、牛建伟教授、沃天宇教授、杨任宇副教授作为主要完成人，联合浙江大学、北航...