來源:互聯網
趙琛,現任中國科學院軟件研究所所長。
個人履歷
1992.7-2001.7 軟件所計算機科學開放實驗室實習研究員、助研、副研
2001.7-2003.12 軟件所科技處處長、業務部主任、副研
2004.1- 軟件所業務部主任、研究員
2004.9- 軟件所總工程師、研究員
2020.12-任中國科學院軟件研究所所長。
研究方向
1、編譯技術及應用
2、軟件測試方法和工具
代表論著
1、唐稚松、趙琛,一種面向軟件工程的時序邏輯語言,軟件學報,Vol. 5,No.12 1994
2、趙琛, 面向媒體時序描述的帶時間自動機的自動構造方法,計算機學報,1999,Vol 22, No.12, pp1289-1294。
3、趙琛,媒體時序描述的完全性和協調性,計算機學報,Vol.23,No.7, July 2000,pp750-755。
任免信息
2020年12月4日,經研究,決定:趙琛同志任中國科學院軟件研究所所長。
參考資料 >
中共中國科學院黨組關于趙琛等同志職務任免的通知----中國科學院人事局.中國科學院人事局.2020-12-05