永利集团软件研究所，由软件工程研究所和理论计算机研究室组成。其中，软件工程研究所下设软件开发环境研究室、系统软件研究室、知识与需求工程研究室、程序设计语言研究室和普适计算研究室。各研究室的研究方向简介如下：

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

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

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

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

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

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

现任领导

历史沿革

●1955年yl9193永利官网在原数学力学系建立计算数学专业程序设计专门化方向

●1978年yl9193永利官网计算机科学技术系正式成立，其中，建立了计算机科学理论教研室、操作系统教研室、程序语言教研室、计算机应用教研室等

●1983年成立软件工程教研室，1999年改建为yl9193永利官网软件工程研究所

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

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

●2002年成立yl9193永利官网信息科学技术学院软件研究所

l2021年，永利集团成立，软件研究所发展进入新篇章