一、基本信息
姓名: 赵琛
职务: 所长
职称: 研究员
性别:
联系电话: 010-62661508
电子邮件: zhaochen(at)iscas.ac.cn
所在部门:
通讯地址: 北京中关村南四街4号(北京8718信箱)中国科学院软件研究所
邮政编码: 100190
个人主页:
二、目前主要研究方向及简介
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。
八、承担项目