北京大學軟體研究所

北京大學軟體研究所創立於2002年9月,和北京大學信息科學技術學院同期成立,由原北京大學計算機系軟體工程研究所、計算機理論研究室、信息安全研究室、人機互動與多媒體研究室組成,其中軟體工程研究所後續設立了軟體開發環境研究室、系統軟體研究室、知識與需求工程研究室、程式設計語言研究室。

基本介紹

  • 中文名:北京大學軟體研究所
  • 主管部門:北京大學
研究方向,發展歷史,

研究方向

● 系統軟體研究室:致力於軟體運行支撐機制、結構等關鍵技術研究,主要研究方向包括:網路化作業系統與中間件,雲計算與大數據作業系統,移動與泛在作業系統,程式設計模型及語言,網際網路軟體運行與最佳化技術等。
● 軟體開發環境研究室:致力於軟體工程基礎理論、軟體工程相關技術及其支撐工具和環境的研究,主要研究方向包括:軟體工程與軟體工程環境,智慧型化軟體開發方法與技術,高可信軟體理論與技術,普適計算軟體技術等。
● 知識與需求工程研究室:致力於軟體開發方法學中的人、環境、軟體等核心要素及其知識的研究,主要研究方向包括:知識工程與知件技術,需求與系統工程,基於群體智慧型的知識與需求建模,軟體自適應理論與技術等。
● 程式設計語言研究室:致力於程式設計語言的原理、設計、實現及其支撐環境的研究,主要研究方向包括:程式設計語言的設計與實現,函式式語言,程式代數與程式演算,程式分析與驗證,程式自動修復,程式變換與自動綜合,並行程式設計等。
● 理論計算研究室:致力於計算機科學理論的研究,主要研究方向包括:算法設計與分析,計算複雜性,軟體建模與驗證,計算機邏輯,生物計算等。
● 信息安全研究室:致力於網路與信息安全基礎理論與技術的研究,主要研究方向包括:密碼理論與技術,軟體安全保障理論與技術,新型網路與普適計算安全技術,網際空間攻擊與防禦技術等。
● 圖形與互動研究室:致力於計算機圖形學與虛擬現實相關領域的研究,主要研究方向包括:圖形學與可視化,虛擬現實與仿真,圖像與視覺計算,智慧型人機互動等。

發展歷史

● 1955年北京大學在原數學力學系建立計算數學專業程式設計專門化方向
● 1978年北京大學計算機科學技術系正式成立,其中,建立了計算機科學理論教研室、作業系統教研室、程式語言教研室、計算機套用教研室等
● 1983年成立軟體工程教研室,1999年改建為北京大學軟體工程研究所
● 1996年經國家計委批准建設軟體工程國家工程研究中心
● 1998年成立信息安全研究室和人機互動與多媒體研究室
● 2002年成立北京大學信息科學技術學院軟體研究所
● 2019年北京大學信息科學技術學院調整,計算機科學與技術系做實,軟體研究所隨之邁入新篇章。

相關詞條

熱門詞條

聯絡我們