软件开发环境国家重点实验室（以下简称“实验室”）于1988年通过国家计委专家认证，成为用世界银行贷款建设的国家重点实验室，1995年通过教育部和国家自然基金委组织的验收。在近三十年的发展历程中，实验室始终围绕国家战略和信息科学的前沿方向，开展原创性的基础研究和创新性的技术突破，旨在软件基础理论和开发环境等方面建设形成基础与应用基础研究的开放式科研基地、国家重大需求和社会重大应用的服务支撑基地以及创新型高层次人才的培养基地。
实验室实行主任负责制和学术委员会评审制，郑志明院士担任实验室主任，陈左宁院士担任学术委员会主任，李未院士担任实验室名誉主任。实验室现有固定人员124人，其中正高级职称56名，副高级职称47名，包括中国科学院院士4名，英国皇家科学院院士1名，欧洲科学院院士3名，长江、杰青、千人、万人等13名，青长、青千、优青、青拔、卓青等青年人才16名，形成一支以院士为学科带头人，以国内知名专家为核心，以中青年学者为骨干，年龄结构合理，勇于创新、团结协作的学术队伍。
实验室面对软件开发环境的新变化与新挑战，探索和创新大数据时代智能软件理论与开发方法，重点围绕安全可靠复杂系统与软件理论、大数据科学与计算系统、群体智能与群体软件工程三个主要研究方向，开拓安全可靠复杂智能系统、计算复杂性理论、群体软件工程等新领地，突破安全可靠复杂智能系统和软件的关键技术。同60余所国际知名大学/研究机构以及图灵奖获得者等国际知名学者建立了长期的学术合作关系，建成软件领域国际知名研究中心，大力培养高层次软件领军人才，服务于国家重大战略和国民经济建设的主战场。近四年承担国家重大/重点研发计划、国家自然科学基金、国防科技计划等各类国家级科研项目109项，年均科研经费超9200万元，产生了一系列基础理论和关键技术创新成果，获得了国家科技进步二等奖3项、国防科技进步一等奖1项，省部级科技奖励11项。
