刘剑 男硕导 软件研究所
电子邮件：
联系电话：
手机号码：
通信地址：中科院软件所基础软件国家工程研究中心
邮政编码：100190


研究领域程序分析与验证、自动测试、系统安全、系统容错、编译技术、基础软件
招生信息

招生专业077402-计算机软件与理论
-
-
招生方向可信计算与基础软件
教育背景

学历1993~2000 云南大学计算机科学系 硕士&学士
2000~2005 中国科学院软件研究所 博士
学位

出国学习工作2000~2001 澳大利亚昆士兰大学高级访问学者

学历
工作经历

工作简历

社会兼职
教授课程
专利与奖励易秋萍、刘剑、汪孙律、一种快速的循环扩展检测方法 （**3.8）
汪孙律、张弦、李斌、刘剑、严俊 进程通信系统建模和分析软件（2010R11S069155）
汪孙律、张弦、李斌、刘剑、严俊 过程间代码边界检测软件（2010SR056505）
奖励信息

专利成果
出版信息

发表论文

发表著作
科研活动

科研项目

参与会议
合作情况

项目协作单位
指导学生现指导学生

王云飞 硕士研究生 081202-计算机软件与理论