| 软件开发环境国家重点实验室于1988年通过国家计委专家认证成为国家重点实验室，1995年通过教育部和国家自然科学基金委组织的验收。在三十多年的发展历程中，实验室始终围绕国家战略和信息科学的前沿方向，开展原创性的基础研究和创新性的技术突破，在软件基础理论和开发环境等方面建设形成了基础与应用基础研究的开放式科研基地、国家重大需求和社会重大应用的服务支撑基地以及创新型高层次人才的培养基地。 实验室实行主任负责制，郑志明院士担任实验室主任，陈左宁院士担任学术委员会主任，李未院士担任实验室名誉主任。实验室现有固定人员124人，其中正高级职称56名，副高级职称47名，包括两院院士5名，国家级人才20余名，形成一支以院士为学科带头人，以国内知名专家为核心，以中青年学者为骨干，年龄结构合理，勇于创新、团结协作的学术队伍。 实验室面对软件开发环境的新变化与新挑战，探索和创新关键软件理论与开发方法，重点围绕安全可靠复杂系统与软件理论、大数据科学与计算系统、群体智能与群体软件工程三个主要研究方向，研究新方法，突破关键技术。同60余所国际知名大学/研究机构建立了长期的学术合作关系，建成了软件领域国际知名研究中心，培养了一批高层次软件领军人才，服务于国家重大需求和经济主战场。承担了国家重大/重点研发计划、国家自然科学基金、国防科技计划等各类国家级科研项目百余项，产生了一系列基础理论和关键技术创新成果，获得了国家科技奖励10余项。 |
