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