赵琛

个人履历

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日，经研究，决定：赵琛同志任中国科学院软件研究所所长。