日前,第十四届“中国软件杯”大学生软件设计大赛全国总决赛于8月25日-28日在苏州大学隆重举办。“中国软件杯”是由工业和信息化部、教育部和江苏省政府共同主办的全国性赛事,秉承“政府指导,企业出题,高校参与,专家评审,育才选才”方针,题目均来自于一线企业痛点难点,以“催生多重效应,引领产业创新”为宗旨,在深化产教融合、产融对接、创新人才培养、激励人才创新,推动科研创新、成果转化等方面搭建了重要的平台和...
近日,我院周号益副教授团队在科学智算方向取得重要进展,提出科学智算基础模型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科学智...
第二十一届中欧软件工程教育国际会议(CEISEE 2025)2025年9月20-21日杭州·中国随着生成式人工智能和数字经济的迅猛发展,软件工程教育正步入一个全新的时代。新兴技术正在重塑全球各个产业,对创新性、面向产业的软件教育提出了更高要求。在“一带一路”倡议的推动下,中国与欧洲在软件工程、数字经济、信息技术产业以及人才培养等领域不断深化合作,共同应对新技术、新经济和新范式所带来的挑战。自2005年以来,中欧软件工程教...
近日,第20届国际可满足性模理论求解竞赛(SMT-COMP 2025)正式公布竞赛结果。由北京航空航天大学软件学院罗川副教授团队研发的Z3-Noodler-Mocha求解器在字符串及其混合理论分组(QF_Strings Division)中斩获冠军,并在所有评价指标上均位列第一。这是国际可满足性模理论求解竞赛自创办以来,首次全部由中国成员组成的团队在字符串及其混合理论分组(QF_Strings Division)夺冠,标志着我国在该研究领域取得重大突破。可满足性...
北航编译课程团队始建于上世纪80年代,秉承良好的传帮带传统,经历了几代老师,建成了国家精品课、国家精品资源共享课和国家级一流课程。20多年前,多种因素导致全国编译课程整体水平下滑。2009年北航张莉教授联合当时的编译国家精品课程单位(国防科技大学、武汉大学、中南大学、北京工业大学)牵头发起了“全国编译课程研讨会”,该会议每两年举办一次,迄今已持续十余年。教育部编译课程虚拟教研室基于上述合作基础进行建设...
第25届软件质量、可靠性与安全国际会议(QRS 2025)于2025年7月16日-2025年7月20日在浙江省杭州市召开。本次大会由北京航空航天大学主办,北京航空航天大学杭州创新研究院承办,并得到了IEEE Reliability Society和中国计算机学会(CCF)系统软件专委会,以及华为、望安科技、University of Leicester、浙江大学、南京信息工程大学、浙江理工大学、浙江工业大学及江苏省计算机学会的大力支持。大会主席为我校软件学院院长胡春明...
为加强对学校基层党组织开展深入贯彻中央八项规定精神学习教育的指导督导,推动全校学习教育走深走实,7月11日下午,闫晓军副校长到软件学院调研指导工作。学院领导班子成员及二级单位负责人参加会议,会议由学院党委书记庄岩主持。软件学院院长胡春明从学科及学院发展历程、学院总体情况、特色化示范性软件学院建设目标任务等方面作了介绍,就学习教育、党建引领、学科平台、团队建设、人才培养等方面汇报了学院各项重点工作,...
7月3日至4日,北京航空航天大学软件学院2025年暑期学校线下活动在北航学院路校区顺利举办。来自全国30所高校的40多名优秀学子齐聚北航,通过参观交流、学术报告、分组研讨等丰富活动,深入感受北航软件学院的学术底蕴与科研氛围,共话软件工程前沿发展。7月3日,暑期学校线下活动拉开帷幕,同学们陆续完成报到,并领取暑期学校材料及学院精心准备的纪念品及定制T恤。随后,同学们走进校史馆,在珍贵史料与生动讲解中探寻北航的...
6月19日下午,软件学院党委联合工业和信息化部机关服务局文印中心党支部开展联学共建活动,深入贯彻中央八项规定精神学习教育,强化使命担当和履职尽责,促进党建与业务融合,以科技创新和人工智能发展助推新型工业化。座谈中,软件学院教师第一党支部书记、教学实验中心副主任于茜同志作了题为《深入学习习近平总书记关于人工智能重要论述》的专题汇报。她结合我国人工智能发展现状与学校科研实践,系统解读了习近平总书记关于...
近日,由教育部高教司指导、示范性软件学院联盟主办、浙江大学软件学院承办的2025年特色化示范性软件学院院长联席会议在浙江省宁波市召开。经过前期申报和评审,示范性软件学院联盟评选出2025年十大关键软件技术创新成果,集中展现了全国各高校特色化示范性软件学院在人工智能、航空工业、具身智能等领域关键软件技术的创新成果。软件学院胡春明教授、牛建伟教授、沃天宇教授、杨任宇副教授作为主要完成人,联合浙江大学、北航...