北京大學軟體研究所創立於2002年9月，和北京大學信息科學技術學院同期成立，由原北京大學計算機系軟體工程研究所、計算機理論研究室、信息安全研究室、人機互動與多媒體研究室組成，其中軟體工程研究所後續設立了軟體開發環境研究室、系統軟體研究室、知識與需求工程研究室、程式設計語言研究室。
基本介紹
- 中文名：北京大學軟體研究所
- 主管部門：北京大學
研究方向,發展歷史,
研究方向
● 系統軟體研究室：致力於軟體運行支撐機制、結構等關鍵技術研究，主要研究方向包括：網路化作業系統與中間件，雲計算與大數據作業系統，移動與泛在作業系統，程式設計模型及語言，網際網路軟體運行與最佳化技術等。
● 軟體開發環境研究室：致力於軟體工程基礎理論、軟體工程相關技術及其支撐工具和環境的研究，主要研究方向包括：軟體工程與軟體工程環境，智慧型化軟體開發方法與技術，高可信軟體理論與技術，普適計算軟體技術等。
● 知識與需求工程研究室：致力於軟體開發方法學中的人、環境、軟體等核心要素及其知識的研究，主要研究方向包括：知識工程與知件技術，需求與系統工程，基於群體智慧型的知識與需求建模，軟體自適應理論與技術等。
● 程式設計語言研究室：致力於程式設計語言的原理、設計、實現及其支撐環境的研究，主要研究方向包括：程式設計語言的設計與實現，函式式語言，程式代數與程式演算，程式分析與驗證，程式自動修復，程式變換與自動綜合，並行程式設計等。
● 理論計算研究室：致力於計算機科學理論的研究，主要研究方向包括：算法設計與分析，計算複雜性，軟體建模與驗證，計算機邏輯，生物計算等。
● 信息安全研究室：致力於網路與信息安全基礎理論與技術的研究，主要研究方向包括：密碼理論與技術，軟體安全保障理論與技術，新型網路與普適計算安全技術，網際空間攻擊與防禦技術等。
● 圖形與互動研究室：致力於計算機圖形學與虛擬現實相關領域的研究，主要研究方向包括：圖形學與可視化，虛擬現實與仿真，圖像與視覺計算，智慧型人機互動等。
發展歷史
● 1955年北京大學在原數學力學系建立計算數學專業程式設計專門化方向
● 1978年北京大學計算機科學技術系正式成立，其中，建立了計算機科學理論教研室、作業系統教研室、程式語言教研室、計算機套用教研室等
● 1983年成立軟體工程教研室，1999年改建為北京大學軟體工程研究所
● 1996年經國家計委批准建設軟體工程國家工程研究中心
● 1998年成立信息安全研究室和人機互動與多媒體研究室
● 2002年成立北京大學信息科學技術學院軟體研究所
● 2019年北京大學信息科學技術學院調整，計算機科學與技術系做實，軟體研究所隨之邁入新篇章。
