队伍建设
百人计划
杰出青年
人才招聘
科技副职
二、目前主要研究方向及简介
计算机科学理论和软件理论
三、学习经历
博士:1998.3-------2001.3上海交通大学计算机科学与工程系计算机软件与理论专业硕士：1995.9——1998.3上海大学计算机科学与工程系计算机软件与理论专业本科：1991.9——1995.7山东大学计算机工程系
四、工作经历
助研：2001.7----中科院软件所计算机科学重点实验室
五、社会兼职
六、研究成果与获奖情况
主持/参与过的项目：
1．型检验技术在认证协议验证中的研究，中国科学院软件研究所基础研究课题基金，项目负责人。
2．基于串空间的协议分析方法的研究,信息安全国家重点实验室开放课题，项目负责人。
3．高可信软件的形式化理论与方法—并发理论研究，参加者。
4．软件基础研究中的若干前沿问题,参加者。
七、代表论著
1．TowardsatheoryofbisimulationfortheHigher-Orderprocesscalculi，JCST,2004.5.
2.ContextuallabeledsemanticsforHigher-Orderprocesscalculi,ENTCS,Elsevier,toappear.
3．Verilog形式化语义研究《软件学报》Vol.12No.10,2001.
4．Verilog操作语义研究《软件学报》Vol.13No.10,2002.
5．Verilog代数语义研究《软件学报》Vol.14No.3,2003.
6．TowardsatheoryofbisimulationforafragmentofVerilog,Inproceedingsof17thinternationalparallel&distributedprocessingsymposium,2003，IEEEPress.
7．UsingSPINtoModelCryptographicProtocols，InproceedingsofInternationalConferenceonInformationTechnology,IEEEPress,April2004.
8.DesignofaCILConnectortoSPIN,the28thAnnualInternationalComputerSoftwareandApplicationsConference(COMPSAC2004),sponsoredbyIEEEComputerSociety,Hongkong.
9．FormalisingVerilog,ProceedingsofAppliedInformatics(AI2001)IASTEDInternationalConference,symposium3,Softare,ActaPress.
10.“AMDK5体系结构的研究”《微机发展》1997年第5期.
八、承担项目
主持/参与过的项目：
1．型检验技术在认证协议验证中的研究，中国科学院软件研究所基础研究课题基金，项目负责人。
2．基于串空间的协议分析方法的研究,信息安全国家重点实验室开放课题，项目负责人。
3．高可信软件的形式化理论与方法—并发理论研究，参加者。
4．软件基础研究中的若干前沿问题,参加者。
