基本信息
柳欣欣  男  博导  中国科学院软件研究所
电子邮件: xinxin@ios.ac.cn
通信地址: 北京8718信箱,计算机科学实验室
邮政编码: 100190

研究领域

   

招生信息

   
招生专业
081202-计算机软件与理论
招生方向
并发系统正确性,程序逻辑

教育背景

1988-09--1992-06   丹麦Aalborg大学   博士
学历
   
学位
   

工作经历

   
工作简历
2000-08~现在, 中国科学院软件研究所, 研究员
1994-03~1996-03,英国Warwick大学, 博士后
1992-03~1994-03,英国Sussex大学, 博士后
1988-09~1992-06,丹麦Aalborg大学, 博士
~现在, 
社会兼职
   

教授课程

数据结构
形式语义学引论

专利与奖励

   
奖励信息
   
专利成果
   

出版信息

   
发表论文
(1) Analyzing Divergence in Bisimulation Semantics, proceedings of the 44th ACM SIGPLAN symposium on Pinciples of Programming Languages, 2017, 第 1 作者
(2) Decomposition of PDL with recursion, International multi-conference of computer science and computer engineering, 2012, 第 1 作者
(3) Specification in PDL with recursion, NASA formal methods symposium, 2012, 第 1 作者
发表著作
   

科研活动

   
科研项目
( 1 ) 基于逻辑的新型计算模型, 参与, 国家级, 2012-01--2016-12
参与会议
(1)Analyzing Divergence in Bisimulation Semantics   2017-01-18

合作情况

   
项目协作单位
   

指导学生