柳欣欣  男  博导  中国科学院软件研究所
电子邮件: 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] David N Jansen, 柳欣欣. Rooted Divergence Preserving Branching Bisimilarity Is a Congruence: A Simpler Proof. Festschrift Vaandrager - Symposium Dedicated to the 60th Birthday of Frits Vaandragernull. 2022, [2] 廖文琪, 柳欣欣. 关于并发系统分支互模拟关系发散性保持的研究. 计算机系统应用[J]. 2016, 215-220, http://lib.cqvip.com/Qikan/Article/Detail?id=670903483.
[3] 李小燕, 李小燕. 命题模态逻辑的模型构造和完备性证明. 计算机应用与软件[J]. 2014, 31(8): 9-12, http://lib.cqvip.com/Qikan/Article/Detail?id=661873249.
[4] Liu Xinxin, Xue Bingtian. Decomposition of automata pdl and its extension. Lecture Notes in Engineering and Computer Sciencenull. 2012, 305-310, [5] Liu Xinxin, Xue Bingtian. Specification in pdl with recursion. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)null. 2012, 181-194, http://ir.iscas.ac.cn/handle/311060/15703.
[6] 喻钢, 柳欣欣. 传名调用演算的二值传递CPS变换. 软件学报[J]. 2008, 19(10): 2508-2516, http://lib.cqvip.com/Qikan/Article/Detail?id=28385999.
[7] Liu Xinxin. Expansive-bisimulation for context-free processes. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)null. 2007, 472-482, http://ir.iscas.ac.cn/handle/311060/11116.
[8] Liu Xinxin, Chen Haiyan. Deciding weak bisimilarity of normed context-free processes using tableau. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)null. 2007, 337-350, http://ir.iscas.ac.cn/handle/311060/11128.

科研活动

   
科研项目
( 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-计算机软件与理论