網站地圖
聯系我們
所長信箱
English
中國科學院
網站地圖
聯系我們
所長信箱
English
中國科學院
MENU
Toggle navigation
首 頁
研究所概況
本所簡介
現任領導
歷任領導
學術委員會
學位委員會
組織機構
院士名人
歷史沿革
院所風貌
聯系我們
機構設置
科研部門
管理部門
支撐部門
科研創新
學科方向
科研成果
獲獎
專利
軟件著作權
論文
專著
規章制度
成果轉化
參股企業
院地合作
國際合作
人才隊伍
院士專家
研究員(正高級工程師)
副研究員(高級工程師)
博士后流動站
人才招聘
研究生教育
招生信息
導師信息
培養管理
學位管理
就業指導
優秀畢業生
下載區
黨群文化
黨委
紀委
工會
黨建工作
紀監審工作
廉潔文化
青年工作
文化活動
健康之友
離退休生活
形象標識
科學傳播
科普動態
科普文章
視頻圖片
科普場館
學術期刊
期刊
信息公開
信息公開規定
信息公開指南
信息公開目錄
依申請公開
信息公開年度報告
信息公開聯系方式
首頁
>
新聞動態
>
科研進展
科研進展
[2023-02-09]
軟件所在圖表示學習因果性提升方面取得進展
[2023-02-08]
軟件所在移動應用質量保障方面取得進展
[2023-02-07]
軟件所在跨粒度小樣本學習方面取得突破
[2023-02-06]
軟件所在開源軟件合規性分析方面取得進展
[2023-01-19]
國家重點研發計劃“激光材料及器件在線測試與自動化設計技術”項目啟動暨實施方案論證會在北京召開
[2023-01-10]
軟件所在數據庫系統的正確性保障方面取得進展
[2022-12-20]
“群智杯”國際集群智能算法挑戰賽啟動儀式成功舉行
[2022-12-05]
軟件所順利完成中老重大蟲媒傳染病智能化監測預警平臺現場部署
[2022-11-21]
首個人機交互情感計算國際標準正式發布
[2022-11-14]
軟件所提出處理器緩存數據預取新方法
[2022-11-02]
軟件所成功舉辦第20屆自動驗證與分析技術國際會議(ATVA 2022)
[2022-10-06]
軟件所智能軟件研究中心員工吳偉當選LLVM基金會理事會
[2022-09-20]
中科院軟件所量子計算編程軟件isQ正式開源
[2022-09-19]
軟件所赴老撾部署中老重大蟲媒傳染病智能化監測預警平臺
[2022-09-02]
喜報:李勇博士學位論文入選2022年度中國科學院優秀博士學位論文
[2022-08-31]
從SAT到SMT——邏輯約束求解研究獲新突破
[2022-08-30]
軟件所博士后Alexander Bentkamp獲獎
[2022-08-24]
軟件所博士生斬獲全國高校密碼數學挑戰賽總決賽一等獎
[2022-08-03]
“健康絲綢之路”建設暨瀾湄合作瘧疾和登革熱聯防聯控調研會在普洱召開
[2022-07-30]
中科院軟件所天智超算系統型譜驗證樣機搭載力箭一號升空
[2022-07-18]
軟件所提出自動駕駛系統仿真測試方法
[2022-07-18]
軟件所在圖數據庫系統測試方面取得進展
[2022-07-18]
軟件所在開源智能家居系統設備集成缺陷研究方面取得進展
[2022-07-07]
軟件所提出測試用例冗余檢測新方法
[2022-07-07]
軟件所在代碼注釋數據治理方面取得研究進展
«
1
2
3
4
5
»
下5頁
Copyright © Institute of Software, CAS. All rights reserved.info(at)iscas.ac.cn
版權所有 © 中國科學院軟件研究所
京ICP備05046678號-1
文保網安備1101080077
電話:86-10-62661012 傳真:86-10-62562533 電子郵箱:info@iscas.ac.cn
久久久综合香蕉尹人综合网