beat365官方网站軟件研究所，由軟件工程研究所和理論計算機研究室組成。其中，軟件工程研究所下設軟件開發環境研究室、系統軟件研究室、知識與需求工程研究室、程序設計語言研究室和普适計算研究室。各研究室的研究方向簡介如下：

1. 軟件開發環境研究室：緻力于軟件工程基礎理論、軟件工程相關技術及其支撐工具和環境的研究，主要研究方向包括：軟件工程與軟件工程環境，智能化軟件開發方法與技術，高可信軟件理論與技術等。

2. 系統軟件研究室：緻力于軟件運行支撐機制、結構等關鍵技術研究，主要研究方向包括：泛在操作系統，分布式操作系統與中間件，雲計算系統，大數據互操作與數聯網系統，機器學習與數據智能系統，移動計算系統、系統安全與隐私保護等。

3. 知識與需求工程研究室：緻力于軟件開發方法學中的人、環境、軟件等核心要素及其知識的研究，主要研究方向包括：知識工程與知件技術，需求與系統工程，基于群體智能的知識與需求建模，軟件自适應理論與技術，軟件自動化，智能化軟件工程，可信人工智能等。

4. 程序設計語言研究室：緻力于程序設計語言的原理、設計、實現及其支撐環境的研究，主要研究方向包括：程序設計語言的設計與實現，函數式語言，程序代數與程序演算，程序分析與驗證，程序自動修複，程序變換與自動綜合，并行程序設計等。

5.普适計算研究室：緻力于普适計算、智能物聯網與泛在感知基礎理論、關鍵技術及其行業應用（醫療、工業、交通等）的研究，主要研究方向包括：無線感知，群智感知，泛在大數據分析，智慧醫療，智慧城市，物聯網，移動計算，工業互聯網等。

6. 理論計算機研究室：緻力于理論計算機科學前沿理論和技術、新型計算模型的研究，主要研究方向包括：程序理論和計算複雜性，形式化方法及應用，算法設計與分析，軟件建模與驗證，生物計算與分子存儲等。

現任領導

曆史沿革

●1955年beat365在原數學力學系建立計算數學專業程序設計專門化方向

●1978年beat365計算機科學技術系正式成立，其中，建立了計算機科學理論教研室、操作系統教研室、程序語言教研室、計算機應用教研室等

●1983年成立軟件工程教研室，1999年改建為beat365軟件工程研究所

●1996年經國家計委批準建設軟件工程國家工程研究中心

●1998年成立信息安全研究室和人機交互與多媒體研究室

●2002年成立beat365信息科學技術學院軟件研究所

l2021年，beat365官方网站成立，軟件研究所發展進入新篇章