队伍建设
百人计划
杰出青年
人才招聘
科技副职
二、目前主要研究方向及简介
1、编译技术及应用
2、软件测试方法和工具
三、学习经历
四、工作经历
1992.7-2001.7软件所计算机科学开放实验室实习研究员、助研、副研
2001.7-2003.12软件所科技处处长、业务部主任、副研
2004.1-软件所业务部主任、研究员
2004.9-软件所总工程师、研究员
五、社会兼职
六、研究成果与获奖情况
七、代表论著
1、唐稚松、赵琛，一种面向软件工程的时序逻辑语言，软件学报，Vol.5,No.121994
2、赵琛,面向媒体时序描述的带时间自动机的自动构造方法,计算机学报，1999，Vol22,No.12,pp1289-1294。
3、赵琛，媒体时序描述的完全性和协调性，计算机学报，Vol.23,No.7,July2000,pp750-755。
八、承担项目
