中國科學院軟體研究所並行軟體與計算科學實驗室面向計算科學前沿,面向國家重大套用需求,依託國內外最先進的高性能計算機,致力於並行算法的基礎研究、並行軟體的開發和高性能計算的技術服務,著重解決科學與工程計算的關鍵技術問題,促進我國高性能計算在相關行業的推廣與套用。
基本介紹
- 中文名:中國科學院軟體研究所並行軟體與計算科學實驗室
- 主管部門:中國科學院軟體研究所
中國科學院軟體研究所並行軟體與計算科學實驗室面向計算科學前沿,面向國家重大套用需求,依託國內外最先進的高性能計算機,致力於並行算法的基礎研究、並行軟體的開發和高性能計算的技術服務,著重解決科學與工程計算的關鍵技術問題,促進我國高性能計算在相關行業的推廣與套用。
中國科學院軟體研究所並行軟體與計算科學實驗室面向計算科學前沿,面向國家重大套用需求,依託國內外最先進的高性能計算機,致力於並行算法的基礎研究、並行軟體的開發和高性能計算的技術服務,著重解決科學與工程計算的關鍵技術問題,促...
所屬實驗室:並行軟體與計算科學實驗室、可信計算與信息保障實驗室、人機互動技術與智慧型信息處理實驗室、網際網路軟體技術實驗室、基礎軟體測評實驗室 所屬國家工程研究中心:基礎軟體國家工程研究中心、衛星導航套用國家工程研究中心分中心 所屬...
計算機套用部分併入中國科學院軟體研究所,成立中國科學院軟體研究所並行軟體研究開發中心,現為中國科學院軟體研究所並行軟體與計算科學實驗室。1996年:中國科學院計算機網路信息中心獨立。創始人馮康 馮康,數學家,套用數學和計算數學家。中...
2009年10月—2013年12月,任中國科學院軟體研究所副教授。2013年12月—2018年1月,任中國科學院軟體研究所教授、中國科學院軟體研究所並行軟體與計算科學實驗室副主任。2018年2月,任北京大學數學科學學院教授;同年3月,任北京大學科學...
2007年4月-2013年8月,中科院軟體研究所並行計算實驗室,並行算法與並行軟體,研究員;2007年6月-2013年8月,中科院軟體研究所並行計算實驗室,並行算法與並行軟體,博士生導師。2010年8月-2013年8月,中科院軟體所與AMD公司 “APU軟體...
實驗室以國內外計算機科學技術領域提出的基本問題為背景,面向國家發展軟體產業和國家安全的戰略需求,開展計算機科學理論和軟體基礎研究。計算機科學基礎理論與形式化方法:研究以並發、實時、混成、移動、機率等為主要行為特徵的複雜計算系統...
還在中國科學院軟體研究所並行計算與軟體實驗室擔任研究員,兼任實驗室主任。2015年7月免去其中國科學院軟體研究所副所長職務;研究項目 主要研究興趣為大規模科學與工程計算的方法與軟體,高性能並行數學軟體庫的研製等。近年來在國內外期刊...
中國科學院軟體研究所智慧型軟體研究中心的使命是以智慧型驅動軟體發展,以軟體支撐智慧型創新。What we do 研究方向 六大領域:智慧型理論、作業系統、開源生態、編譯技術、智慧型安全、智慧型測評 四大系統:面向國產通用處理器和智慧型加速晶片的作業系統...
廣州中國科學院軟體套用技術研究所(簡稱廣州軟體所),成立於2011年5月27日,是由南沙區管委會與中國科學院共建的事業法人單位,為廣州市政府創新發展模式的試點單位之一。2015年經廣東省科技廳認定為首批廣東省新型研發機構(2017年通過...
中國科學院軟體研究所網際網路軟體技術實驗室主要從事網際網路環境下的軟體工程以及軟體過程的方法、技術和工具的研究工作,主要研究領域包括軟體過程建模、需求工程、經驗軟體工程與軟體測試。 研究方向 1.軟體過程建模方法 (1)軟體過程建模與...
3、 可信計算與信息保障測評方法與工具:算法與協定測評方法與工具、軟體測試與逆向分析方法與工具、可信計算測評方法與工具、網路與系統脆弱性分析方法與測評工具 科研條件 中國科學院軟體研究所可信計算與信息保障實驗室在“立足創新,...
1984年,北京大學與美國方面聯合培養100名計算機軟體工程專業研究生,組建“北京軟體實驗室”1986年,經公開招標正式歸屬中國科學院,成立“中國科學院北京軟體實驗室”1989年,成立“凱思軟體集團”1991年,更名為“中科院北京軟體工程研製中...
1998年,中國科學院計算技術研究所成為知識創新工程首批進入的試點單位。2002年,以中國科學院計算技術研究所的智慧財產權為基礎,創建了北京神州龍芯積體電路設計有限公司。2017年3月,大數據分析系統國家工程實驗室在中國科學院計算技術研究所...
結合實驗室現有的基礎和未來的發展規劃,下設五個實驗室(先進計算機系統實驗室、微體系結構實驗室、編譯與編程實驗室、積體電路實驗室、並行算法實驗室)和四個研究組(處理器設計研究組、作業系統研究組、存儲體系結構研究組、量子計算研究...
計算機體系結構國家重點實驗室於2011年10月13日經科技部批准建設,於2013年5月22日通過驗收,主要從事計算機體系結構相關領域的套用基礎研究。依託單位 中國科學院計算機系統結構重點實驗室依託於中國科學院計算技術研究所。2006年經中國科學...
1997-08~1999-10,中國科學院軟體研究所, 博士後 學術兼職 2018-11-01-今,《計算機集成製造系統》編委會, 委員 2016-01-01-今,計算機學會軟體工程專業委員會, 委員 2015-12-31-2019-12-31,計算機學會服務計算專業委員會, 副主任...
張文博,男,中國科學院軟體研究所,研究員,博士生導師。研究領域 分散式軟體、性能工程、雲計算 教育背景 2002-09--2007-01 中國科學院軟體研究所 獲得博士學位 1999-09--2002-03 山東大學 獲得碩士學位 工作經歷 中國科學院軟體...
中國科學院軟體研究所 二級 研究員、國家科技進步二等獎第一完成人,國家“萬人計畫”科技創新領軍人才,享受國務院政府特殊津貼專家,國家 科技創新2030重大項目、國家重點研發計畫項目首席科學家,國家優秀青年基金獲得者,科技部創新人才推進...
國際計算語言學大會(COLING2010)組織委員會主席 研究成果與獲獎情況 在國內外主要刊物和會議上共發表論文50多篇,軟體登記5項,軟體專利3項,已經培養博士4名,碩士12名。曾獲2007年中國科學院軟體研究所優秀導師。代表論著 期刊:黃瑞紅...
中國科學院重點實驗室是中國科學院基礎研究和高技術創新的重要力量,其定位與作用如路甬祥院長所示“開放實驗室是我院基礎研究和高技術前沿探索的核心和生長點,也是研究所的學術精華和前沿所在”,為適應科技發展的需要,原“中國科學院開放...
2017年5月5日,據科發人任字〔2017〕30號,決定鐘華任軟體研究所副所長(試用期一年)。2018年5月4日 ,據科發黨任字〔2018〕50號 ,決定鐘華同志任軟體研究所副所長(任職時間從2017年5月起計算)。研究領域 分散式系統,軟體工程...
2022年10月,任中國科學院軟體研究所副所長。現任中國科學院軟體研究所副所長、總工程師。職務任免 2023年11月13日,中共中國科學院黨組研究,決定武延軍同志試用期考核合格,正式任軟體研究所副所長,任職時間從2022年10月起計算。
張立波,中國科學院軟體研究所,副研究員,碩士生導師,中科院朱李月華優秀博士生,軟體所優青,中國科學院青年創新促進會會員,獲得中科院朱李月華獎。工作期間,先後入選所級人才計畫和院級人才計畫,並獲得中科院前沿科學重點研究計畫拔尖青年...
2020年9月29日,為了表彰吳志林博士在自動機理論和程式驗證方面所做出的突出貢獻,CCF與IEEE CS決定授予他2020年“CCF-IEEE CS青年科學家獎”。教育背景 2002-09--2007-06 中國科學院軟體研究所計算機科學國家重點實驗室 碩博連讀、博士...
蔣穎,女,任中科院軟體所計算機科學研究員,學歷博士 計算機科學與技術,中國科學院軟體研究所,1994―1996。基本信息 所在部門: 計算機科學國家重點實驗室 主要研究方向及簡介:λ演算、類型論、證明論和程式設計語義學 主持/參與過的...
馬翠霞,女,畢業於山東大學,現為中國科學院軟體研究所副研究員。學習經歷 2000-2003 中國科學院軟體研究所博士 1997-2000 山東大學計算機科學與技術系碩士 1993-1997 山東大學計算機科學與技術系學士 工作經歷 2005-2006 美國國家科學院...
職稱: 中科院軟體所研究員,博士生導師 所在部門: 計算機科學國家重點實驗室 目前主要研究方向及簡介 目前主要研究方向為軟體設計方法和形式規約 研究方向 包括計算模型、軟體設計方法和形式規約、程式語言。以提高軟體開發的生產率、可靠性...
趙琛,現任中國科學院軟體研究所所長。個人履歷 1992.7-2001.7 軟體所計算機科學開放實驗室實習研究員、助研、副研 2001.7-2003.12 軟體所科技處處長、業務部主任、副研 2004.1- 軟體所業務部主任、研究員 2004.9- 軟體所總工程...
中國科學院軟體工程技術研究開發中心主要從事複雜軟體系統的相關理論、方法、關鍵技術等方面的研究,致力於構造複雜軟體系統、提高軟體系統的質量。 研究方向 1. 雲計算與系統軟體 雲平台性能最佳化(包括資源管理、硬體加速等)、雲計算可靠性...
耶魯大學計算機系,加州大學UCLA數學系,Minnesota超級計算機研究所(MSI)等),研究特徵值問題,奇性差分方法及區域分解並行算法;回國後先後組建中科院計算中心與軟體所的並行計算學科,研製具有自主智慧財產權的數學庫與油藏數值模擬等並行軟體,...