-
2025-04
04
2025-04-04第十二届开源操作系统年度技术会议在北航圆满举办
近日,第十二届开源操作系统年度技术会议(OS2ATC) 2025在北京航空航天大学新主楼会议中心盛大开幕。本届技术峰会由北京航空航天大学主办,软件学院组织筹备,由北航软件学院院长胡春明教授与睿赛德科技总经理熊谱翔共同主持,吸引了来自学术界、产业界的广大开发者、工程师及学生参与。会议伊始,胡春明教授回顾了OS2ATC十二年的发展历程,强调其在推动操作系统领域“产-学-研”协同、促进跨学科交流中的核心作用。他特别提到...
-
2025-04
03
2025-04-03北京航空航天大学-望安科技安全关键软件形式化验证联合实验室正式揭牌
3月28日,软件学院与望安科技合作共建的北京航空航天大学-望安科技安全关键软件形式化验证联合实验室在北航正式揭牌。望安科技创始人赵永望、总经理陈建明和软件学院胡春明院长、葛宁教授出席仪式。双方将建立产学研用深度融合机制,依托形式化验证技术,探索关键软件领域的高安全等级应用,为我国关键软件产业高质量发展注入新动能。关键软件作为数字经济时代关乎国计民生的核心基础设施,已深度融入航空航天、轨道交通等重大...
-
2025-04
03
2025-04-03北航软件学院罗川老师团队在量子计算领域取得新突破,发布新型量子电路映射算法
近日,北京航空航天大学软件学院关键基础软件所罗川老师团队的研究成果《Towards Effective Local Search for Qubit Mapping》被计算机领域顶级学术期刊IEEE Transactions on Computers正式接收。该期刊创刊于1952年,是中国计算机学会(CCF)推荐的A类期刊,具有70余年的悠久历史,代表着计算机科学研究的国际前沿水平。该论文提出了一种名为EffectiveQM的新型量子电路映射方法,基于研究团队自主研发的约束求解优化技术。实验...
-
2025-04
09
2025-04-09软件学院学生党支部开展“追寻先烈足迹 传承红色基因”主题党日活动
为深入学习贯彻党的二十大精神,缅怀革命先驱,筑牢信仰之基,软件学院学生党支部于4月4日清明节,前往李大钊烈士陵园开展“追寻先烈足迹 传承红色基因”主题党日活动。陵园内松柏苍翠,丰碑巍峨。全体党员整齐列队,在李大钊同志雕像前静默肃立,鞠躬致敬,敬献花篮。党支部书记胡峻诚同志带领大家重温入党誓词,铿锵誓言回荡在陵园上空,彰显新时代共产党员的忠诚与担当。 跟随讲解员的深情讲述,大家通过珍贵的历史照片、手...
-
2025-04
07
2025-04-07党委书记赵长禄到软件学院座谈指导工作
2025 年 4 月 3 日下午,党委书记赵长禄到软件学院指导工作,软件学院院长胡春明、党委书记庄岩等学院班子成员参加座谈。赵长禄实地察看了软件学院特色科研工作展,听取了先进工业软件研究所、智能软件工程研究所、关键基础软件研究所负责人对学院相关研究方向和科研成果的汇报,并进行了深入交流。座谈会上,胡春明代表学院向赵长禄书记介绍了软件学院的基本情况和发展历程,汇报了学院在党建与思政工作、人才培养体系以及一体...