近日，科技部發布了2017年信息領域國家重點實驗室評估結果，軟件所計算機科學國家重點實驗室在32個參評實驗室中排名第13位，評為良好類國家重點實驗室。 

　　計算機科學國家重點實驗室瞄準計算機科學國際前沿問題，面向國家重大戰略需求，堅持理論創新與應用創新并舉，本評估期間（2012至2016年），在基礎理論研究和關鍵技術突破均取得了國際一流、國內領跑的高顯示度成果，在國內外產生了重要影響。 

　　在基礎理論研究方面，實驗室攻克解決了多個知名的計算機科學基礎性難題，獲得國內外同行的高度認可。在計算機科學理論界最有影響的兩大頂級會議 STOC 和 FOCS 發表了 9 篇高質量論文，位居國內第一名, 其中 2016年發表 6 篇，位居當年世界排名第十三位，創下了國內歷年最好排名；在計算機科學理論國際頂級期刊Information and Computation 發表了10篇論文，位居國內第一名；在軟件形式化驗證頂級會議 CAV 發表了 6 篇論文，位居國內第一名。 

　　在關鍵技術突破方面，實驗室榮獲國際高性能計算領域最高獎“戈登·貝爾”獎、國家科技進步獎一等獎、國家技術發明獎二等獎及北京市科學技術獎一等獎。 

　　2017年，科技部委托中國科協信息科技學會聯合體，對信息領域32個國家重點實驗室進行了評估。經過初評和復評，9個實驗室被評為優秀類實驗室，19個實驗室被評為良好類實驗室，3個實驗室需要整改，1個實驗室未通過評估。