中國科學院軟體研究所成立於1985年3月1日,是一所致力於計算機科學理論和軟體高新技術的研究與發展的綜合性基地型研究所。所址位於北京海淀區中關村南四街4號中國...
劉學慧,女,中國科學院軟體研究所研究員,研究方向為大規模場景的快速成像技術、基於圖像的建模技術。...
劉立祥,中國科學院軟體研究所研究員,主持國家項目:新型協定體系結構設計與實現,主持863項目 路由交換關鍵技術研究,主持863項目 組網通信與網路管理研究,主持973項目 ...
廣州中國科學院軟體套用技術研究所(簡稱廣州軟體所),成立於2011年5月27日,是由廣州市人民政府與中國科學院共建的隸屬於廣州市人民政府的直屬事業法人單位,是廣州市...
葉丹,女,中國科學院軟體研究所研究員、碩士生導師,其職稱為高級工程師。...... 葉丹,女,中國科學院軟體研究所研究員、碩士生導師,其職稱為高級工程師。...
中國科學院軟體研究所研究員、所長助理,國家重點研發計畫首席科學家,國家優秀青年基金獲得者。現擔任ACM SIGCHI中國分會主席、中國計算機學會人機互動專委會秘書長、...
孫樂, 男,中國科學院軟體研究所研究員,主要研究下一代文本信息檢索模型、輔助機器翻譯算法、跨語言信息檢索、文本分類、漢語語義理解模型等。...
趙琛,現任中國科學院軟體研究所所長。...... 2004.1- 軟體所業務部主任、研究員2004.9- 軟體所總工程師、研究員2015.7-任中國科學院軟體研究所所長。...
李玉成,1961年6月出生於浙江省溫州市,籍貫北京市。現任中國科學院軟體研究所黨委書記、研究員。1983年7月,畢業於西安交通大學數學系計算數學專業,獲學士學位。...
張振峰,中國科學院軟體研究所博導。...... 1998-09--2001-06 中國科學院數學與系統科學研究院 博士張振峰工作簡歷 2013-01~現在, 中國科學院軟體研究所, 研究員/...
基本信息吳志林 男 碩導 中國科學院軟體研究所 通信地址: 北京市中關村南四街4號中科院軟體所計算機科學國家重點實驗室研究領域程式的形式化分析與驗證,計算邏輯,形式...
計算機科學國家重點實驗室依託中國科學院軟體研究所,實驗室成立於1993年,1994年由中國科學院批准成為中國科學院開放實驗室,2001年改名為中國科學院重點實驗室。在2002...
王宏安,博士,中國科學院軟體研究所學術委員會副主任、研究員/博士生導師,中國科學院軟體研究所計算機科學國家重點實驗室研究員、人機互動技術與智慧型信息處理實驗室...
張文博,男,中國科學院軟體研究所,研究員,博士生導師。...... 張文博,男,中國科學院軟體研究所,研究員,博士生導師。通信地址:北京市中關村南四街4號...
王永吉, 2002年9月至今,任中國科學院軟體所,研究員,博導,百人計畫引進國外傑出人才獲得者。研究方向為智慧型軟體工程,實時系統。...
吳文玲,女;研究員職稱;現工作於中國科學院軟體研究所。主要研究方向為:衛星組網與信息安全,密碼學與信息安全---分組密碼、流密碼、Hash函式和MAC、可證明安全的...
馬翠霞,女,畢業於山東大學,現為中國科學院軟體研究所副研究員。...... 馬翠霞,女,畢業於山東大學,現為中國科學院軟體研究所副研究員。[1] 中文名 馬翠霞 國籍...
中國科學院系統科學研究所1979年10月成立。中國著名科學家關肇直院士、吳文俊院士、許國志院士是主要創始人。關肇直院士是首任所長。繼任所長成平研究員和陳翰馥院士...
1980年9月~1984年7月在北京信息工程學院計算機軟體專業學習,獲學士學位1997年9月~1998年7月在中國科學技術大學北京研究生院進修碩士院研究生課程,已修完35學分,...
基本信息時磊 男 軟體研究所 通信地址:中科院軟體所研究領域信息可視化、大數據可視分析、網路科學與系統教育背景2003-09--2008-07 清華大學 工學博士 1999-09--...
鄭剛,男,漢族,中國科學院軟體研究所高級工程師。...... 2004.7——2006.3 中國科學院軟體研究所 助理研究員2006.3——至今 中國科學院軟體研究所 高級工程師...
2. 基於XYZ/E的可視化軟體體系結構描述語言研究(60073020), 國家自然科學基金,2001.1-2004.123. 基於XYZ系統的宇宙飛船實時控制系統的逐步求精過程的描述與驗證(...
信息安全國家重點實驗室(以下簡稱實驗室)於1989年在DCS中心基礎上籌建,1991年通過國家驗收並正式對外開放,依託單位為中國科學院信息工程研究所。...
中國科學院大學(University of Chinese Academy of Sciences)簡稱“國科大”,是國家教育部正式批准成立的一所以研究生教育為主、科教融合為特色的創新型高等學府。...
男,1963年6月出生於福建福安,1988年在挪威奧斯陸大學數學自然科學學院獲博士學位,現任中國科學院軟體研究所計算機科學國家重點實驗室研究員,研究興趣包括:程式正確性、...
張立武為中國科學院軟體研究所高級工程師,兼職中國密碼學會電子認證專業委員會,主要研究信息密碼學。...
王駒,男,1950年9月出生。定職時間 1996.6。 1988年畢業於美國加州大學洛杉璣分校,獲博士學位,原中國科學院軟體所研究員,邏輯研究室主任。廣西師範大學計算機科學...
進行合作研究1995.3-2001.1 副研究員,研究員,中國科學院軟體研究所2001.2至今 研究員,中國科學院計算機網路信息中心超級計算中心主任。...