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

研究领域

并发程序理论,程序设计语言的语义,程序正确性,模型检测

招生信息

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

教育背景

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

工作经历

   
工作简历
2000-08~现在, 中国科学院软件研究所, 研究员
1994-03~1996-03,英国Warwick大学, 博士后
1992-03~1994-03,英国Sussex大学, 博士后
社会兼职
2019-08-31-2022-08-30,兼职教授, 西南大学计算机与信息科学学院RISE实验室客座教授

教授课程

数据结构
形式语义学引论

出版信息

   
发表论文
(1) Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations, 31st International Conference on Concurrency Theory, 2020, 第 1 作者
(2) Logics for Bisimulation and Divergence, International conference on Foundations of Software Science and Computation Structures, 2018, 第 1 作者
(3) Characterization and verification of stuttering equivalence, Symposium on real-time and hybrid systems, 2018, 第 1 作者
(4) Analyzing Divergence in Bisimulation Semantics, proceedings of the 44th ACM SIGPLAN symposium on Pinciples of Programming Languages, 2017, 第 1 作者
(5) Decomposition of PDL with recursion, International multi-conference of computer science and computer engineering, 2012, 第 1 作者
(6) Specification in PDL with recursion, NASA formal methods symposium, 2012, 第 1 作者

科研活动

   
科研项目
( 1 ) 基于逻辑的新型计算模型, 参与, 国家级, 2012-01--2016-12
( 2 ) Verification, Interaction, and Proofs (VIP), 参与, 部委级, 2017-11--2020-10
参与会议
(1)Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations   柳欣欣,于婷婷   2020-09-01
(2)Analyzing Divergence in Bisimulation Semantics   柳欣欣,于婷婷,张文辉   2017-01-18
(3)Deciding weak bisimilarity of normed context-free processes using tableau   2007-09-26

指导学生

已指导学生

喻钢  博士研究生  081202-计算机软件与理论  

陈海燕  博士研究生  081202-计算机软件与理论  

徐雨波  博士研究生  081202-计算机软件与理论  

董焕防  硕士研究生  081202-计算机软件与理论  

罗凌云  博士研究生  081202-计算机软件与理论  

吕品  硕士研究生  081202-计算机软件与理论  

屈楠  博士研究生  081202-计算机软件与理论  

李明  硕士研究生  081202-计算机软件与理论  

薛冰天  博士研究生  081202-计算机软件与理论  

梁虹  硕士研究生  081202-计算机软件与理论  

李小燕  硕士研究生  081202-计算机软件与理论  

廖文琪  硕士研究生  081202-计算机软件与理论  

于婷婷  博士研究生  081202-计算机软件与理论