在2002年信息領(lǐng)域國(guó)家重點(diǎn)實(shí)驗(yàn)室評(píng)估中，計(jì)算機(jī)科學(xué)實(shí)驗(yàn)室被評(píng)為優(yōu)秀實(shí)驗(yàn)室。 經(jīng)科技部批準(zhǔn)，國(guó)家重點(diǎn)實(shí)驗(yàn)室將于2021年啟動(dòng)建設(shè)。 將于2021年建成并通過(guò)科技部驗(yàn)收。計(jì)算機(jī)科學(xué)國(guó)家重點(diǎn)實(shí)驗(yàn)室針對(duì)國(guó)內(nèi)計(jì)算機(jī)科學(xué)與技術(shù)領(lǐng)域提出的基本問(wèn)題，開(kāi)展計(jì)算機(jī)科學(xué)理論和軟件基礎(chǔ)研究面向國(guó)內(nèi)外，響應(yīng)國(guó)家發(fā)展軟件產(chǎn)業(yè)和國(guó)家安全的戰(zhàn)略需求。 主要研究方向： 1.并發(fā)實(shí)時(shí)系統(tǒng)理論與應(yīng)用 1）并發(fā)實(shí)時(shí)系統(tǒng)形式化理論與分析方法 2）模型檢測(cè)理論、技術(shù)與應(yīng)用 3）計(jì)算數(shù)學(xué)理論與新型計(jì)算模型2. 軟件技術(shù)原理 1) 軟件形態(tài)描述與檢測(cè) 2) 程序測(cè)試與驗(yàn)證 3) 軟件開(kāi)發(fā)理論與方法 3. 計(jì)算機(jī)圖形學(xué) 1) 寫(xiě)實(shí)圖形繪制 2) 可視化理論與技術(shù) 3) 虛擬現(xiàn)實(shí) 4) 數(shù)字幾何處理實(shí)驗(yàn)室現(xiàn)有研究人員23人計(jì)算機(jī)排名，其中中國(guó)科學(xué)院院士3人，博士生導(dǎo)師14人。 55歲以下的研究人員均具有博士學(xué)位，形成了一個(gè)以中青年為主體、思維活躍、充滿活力的群體。 實(shí)驗(yàn)室成員獲得國(guó)家自然科學(xué)一等獎(jiǎng)1項(xiàng)、國(guó)家自然科學(xué)二等獎(jiǎng)2項(xiàng)、國(guó)家科技進(jìn)步二等獎(jiǎng)1項(xiàng)。 在中科院和軟件所的領(lǐng)導(dǎo)和支持下，實(shí)驗(yàn)室全體成員齊心協(xié)力，在科研和團(tuán)隊(duì)建設(shè)方面做了大量的工作，承擔(dān)了多項(xiàng)國(guó)家重大和科學(xué)院重點(diǎn)項(xiàng)目。

實(shí)驗(yàn)室堅(jiān)持把研究質(zhì)量和水平放在第一位，自覺(jué)抵制急功近利、浮躁夸張的不正之風(fēng)。 同時(shí)，提倡學(xué)術(shù)民主計(jì)算機(jī)排名，鼓勵(lì)不同學(xué)術(shù)觀點(diǎn)的競(jìng)爭(zhēng)和融合。 實(shí)驗(yàn)室擁有多名我國(guó)計(jì)算機(jī)軟件科學(xué)的奠基人和開(kāi)拓者。 實(shí)驗(yàn)室積極與國(guó)內(nèi)外同行開(kāi)展多種形式的學(xué)術(shù)交流與合作。 近年來(lái)，實(shí)驗(yàn)室主辦和承辦了多次國(guó)際會(huì)議。 實(shí)驗(yàn)室積極邀請(qǐng)國(guó)內(nèi)外知名學(xué)者來(lái)訪進(jìn)行學(xué)術(shù)交流，其中包括圖靈獎(jiǎng)獲得者Robin、Tony Hoare、Amir、姚啟智等教授。 實(shí)驗(yàn)室成員還積極出差參加國(guó)際國(guó)內(nèi)學(xué)術(shù)會(huì)議，在國(guó)內(nèi)外學(xué)術(shù)機(jī)構(gòu)舉行報(bào)告和交流。 實(shí)驗(yàn)室專(zhuān)門(mén)設(shè)立開(kāi)放項(xiàng)目基金，歡迎國(guó)內(nèi)外同行申請(qǐng)并與實(shí)驗(yàn)室成員開(kāi)展合作研究。 中國(guó)科學(xué)院軟件研究所簡(jiǎn)介中國(guó)科學(xué)院軟件研究所成立于1985年3月1日，是致力于計(jì)算機(jī)科學(xué)理論和軟件高新技術(shù)研究與開(kāi)發(fā)的綜合性基地型研究所。 -技術(shù)。 地點(diǎn)位于北京市海淀區(qū)中關(guān)村南四街4號(hào)中國(guó)科學(xué)院軟件園。 從五位創(chuàng)始人到現(xiàn)在千余名師生； 從借用房研究，到現(xiàn)在擁有無(wú)錫、重慶、哈爾濱、廣州、青島三座科研大樓和五個(gè)研究院分研發(fā)基地； 從最開(kāi)始的每年44萬(wàn)元資助到現(xiàn)在每年1億多元； 從僅有兩臺(tái)16位微機(jī)，到現(xiàn)在已形成由3個(gè)國(guó)家重點(diǎn)實(shí)驗(yàn)室、3個(gè)國(guó)家工程研究中心牽頭的基礎(chǔ)前沿研究。 擁有戰(zhàn)略高技術(shù)研究和高新技術(shù)應(yīng)用三大科研體系，建立了計(jì)算機(jī)科學(xué)、計(jì)算機(jī)軟件、計(jì)算機(jī)應(yīng)用技術(shù)、信息安全四個(gè)重點(diǎn)學(xué)科領(lǐng)域和五個(gè)重點(diǎn)學(xué)科方向的學(xué)科布局。

軟件學(xué)院人秉承“創(chuàng)新、求實(shí)、永爭(zhēng)一流”的精神，經(jīng)受風(fēng)雨，披荊斬棘，不斷攀上新的高峰。 軟件研究所現(xiàn)設(shè)有軟件基礎(chǔ)研究部、軟件高新技術(shù)研究部、軟件應(yīng)用研究部和軟件開(kāi)發(fā)研究部四個(gè)研究部以及綜合部。 聚集了一批學(xué)術(shù)造詣深厚、在國(guó)內(nèi)外享有盛譽(yù)的科學(xué)家。 擁有一支高素質(zhì)、高水平的青年科技人才隊(duì)伍。 研究所現(xiàn)有正式員工618人，其中中國(guó)科學(xué)院院士3人，第三世界科學(xué)院院士1人，研究員56人，副研究員、高級(jí)工程師82人。 國(guó)家杰出青年基金獲得者3人，中科院百人計(jì)劃獲得者6人。 所有員工的平均年齡為36歲。 軟件研究所是計(jì)算機(jī)科學(xué)與技術(shù)一級(jí)學(xué)科碩士、博士學(xué)位培養(yǎng)單位。 設(shè)有計(jì)算機(jī)科學(xué)與技術(shù)博士后流動(dòng)站。 現(xiàn)有博士生導(dǎo)師36人，碩士生導(dǎo)師84人； 碩士生317人，博士生179人，博士后9人。 軟件所積極參與國(guó)內(nèi)外交流與合作，與國(guó)內(nèi)多個(gè)省市以及美國(guó)、歐洲、日本、日本等40多個(gè)國(guó)家和地區(qū)建立了廣泛的科技交流與合作。澳大利亞。 已在無(wú)錫、重慶設(shè)立分公司。 分行、哈爾濱分行、廣州分行、青島分行。 中國(guó)中文信息學(xué)會(huì)、中國(guó)軟件行業(yè)協(xié)會(huì)數(shù)學(xué)軟件分會(huì)、中國(guó)密碼動(dòng)物學(xué)會(huì)密碼動(dòng)物算法專(zhuān)業(yè)委員會(huì)掛靠研究所。 研究所主辦的學(xué)術(shù)期刊有《軟件學(xué)報(bào)》、《中文信息學(xué)報(bào)》、《計(jì)算機(jī)系統(tǒng)應(yīng)用》、《論與》等。

成立20年來(lái)，特別是進(jìn)入中科院知識(shí)創(chuàng)新試點(diǎn)以來(lái)，軟件所在計(jì)算機(jī)科學(xué)和軟件領(lǐng)域取得了豐碩成果，榮獲院所成果獎(jiǎng)30項(xiàng)。院、省部級(jí)以上（均為第一完成單位），其中國(guó)家自然科學(xué)獎(jiǎng)一等獎(jiǎng)1項(xiàng)、二等獎(jiǎng)2項(xiàng)、三等獎(jiǎng)1項(xiàng)； 國(guó)家科技進(jìn)步獎(jiǎng)二等獎(jiǎng)6項(xiàng)、三等獎(jiǎng)2項(xiàng)。 特別值得一提的是，國(guó)家自然科學(xué)獎(jiǎng)設(shè)立以來(lái)，計(jì)算機(jī)領(lǐng)域唯一的一等獎(jiǎng)和約三分之一的二等獎(jiǎng)均來(lái)自軟件所。