趙琛

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日，經研究，決定：趙琛同志任中國科學院軟體研究所所長。