老版大阳城网站(中国)有限公司软件研究所，由软件工程研究所和理论计算机研究室组成。其中，软件工程研究所下设软件开发环境研究室、系统软件研究室、知识与需求工程研究室、程序设计语言研究室和普适计算研究室。各研究室的研究方向简介如下：

1. 软件开发环境研究室：致力于软件工程基础理论、软件工程相关技术及其支撑工具和环境的研究，主要研究方向包括：软件工程与软件工程环境，智能化软件开发方法与技术，高可信软件理论与技术等。

2. 系统软件研究室：致力于软件运行支撑机制、结构等关键技术研究，主要研究方向包括：泛在操作系统，分布式操作系统与中间件，云计算系统，大数据互操作与数联网系统，机器学习与数据智能系统，移动计算系统、系统安全与隐私保护等。

3. 知识与需求工程研究室：致力于软件开发方法学中的人、环境、软件等核心要素及其知识的研究，主要研究方向包括：知识工程与知件技术，需求与系统工程，基于群体智能的知识与需求建模，软件自适应理论与技术，软件自动化，智能化软件工程，可信人工智能等。

4. 程序设计语言研究室：致力于程序设计语言的原理、设计、实现及其支撑环境的研究，主要研究方向包括：程序设计语言的设计与实现，函数式语言，程序代数与程序演算，程序分析与验证，程序自动修复，程序变换与自动综合，并行程序设计等。

5.普适计算研究室：致力于普适计算、智能物联网与泛在感知基础理论、关键技术及其行业应用（医疗、工业、交通等）的研究，主要研究方向包括：无线感知，群智感知，泛在大数据分析，智慧医疗，智慧城市，物联网，移动计算，工业互联网等。

6. 理论计算机研究室：致力于理论计算机科学前沿理论和技术、新型计算模型的研究，主要研究方向包括：程序理论和计算复杂性，形式化方法及应用，算法设计与分析，软件建模与验证，生物计算与分子存储等。

现任领导

历史沿革

●1955年老版大阳城网站在原数学力学系建立计算数学专业程序设计专门化方向

●1978年老版大阳城网站计算机科学技术系正式成立，其中，建立了计算机科学理论教研室、操作系统教研室、程序语言教研室、计算机应用教研室等

●1983年成立软件工程教研室，1999年改建为老版大阳城网站软件工程研究所

●1996年经国家计委批准建设软件工程国家工程研究中心

●1998年成立信息安全研究室和人机交互与多媒体研究室

●2002年成立老版大阳城网站信息科学技术学院软件研究所

l2021年，老版大阳城网站(中国)有限公司成立，软件研究所发展进入新篇章