软件开发环境国家重点实验室 依托北京航空航天大学，实验室是在计算机软件理论、技术和开发环境等方面开展基础、应用基础与竞争前高技术的开放式研究基地，是创新型高层次人才的培养基地，该实验室主任为北京航空航天大学计算机系教授、中国科学院院士、国务院学位委员会委员李未。

在国家科技部、国家自然科学基金委、国家发改委、国防科工委和教育部的支持下，实验室实行主任负责制和学术委员会评审制，经过近20年的建设发展，实验室在计算机软件与理论研究、软件竞争前高技术创新方面，取得了一批标志性研究成果，为我国培养了一批创新型高层次人才，为推动我国软件科技进步和产业发展做出了突出的贡献，并拥有良好的国内外声誉。

实验室承担了大量国家或部委的重要研究课题，主要涉及国家重点基础研究发展计划（973计划）、863高技术计划、国家自然科学基金、国防科工委基金、国家重大工程任务以及国家、部委预沿和攻关项目。在关于软件测试的基础研究、海量进程调度和资源分配理论与算法研究、海量信息计算模型研究、海量信息的传输和协同行为特征研究、软件开发方法和网络管理系统生产平台技术研究、面向服务的可信计算环境研究、先进网络环境下实时多媒体协同环境技术研究、基于IPv6关键技术的海量信息应用研究以及国家科技基础条件平台重大建设任务，多项科研成果接近或达到国际水平。

实验室已基本形成与国际接轨的、具有持续、自主培养能力的高层次人才培养基地，具有一支学术造诣深、学风严谨、勇于创新、年龄结构合理的学术梯队,相当数量的计算机软件与理论、计算机应用及体系结构专业的博士后、博士生及硕士研究生。实验室建立了广泛的国内外学术交流与合作，为科研人员提供了良好的学术氛围和环境。