柳欣欣 男 博导 中国科学院软件研究所
电子邮件： xinxin@ios.ac.cn
通信地址： 北京8718信箱,计算机科学实验室
邮政编码： 100190
电子邮件： xinxin@ios.ac.cn
通信地址： 北京8718信箱,计算机科学实验室
邮政编码： 100190
研究领域
并发程序理论，程序设计语言的语义，程序正确性，模型检测
招生信息
招生专业
081202-计算机软件与理论
招生方向
并发系统正确性,程序逻辑
教育背景
1988-09--1992-06 丹麦Aalborg大学 博士
工作经历
工作简历
2000-08~现在, 中国科学院软件研究所, 研究员
1994-03~1996-03,英国Warwick大学, 博士后
1992-03~1994-03,英国Sussex大学, 博士后
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.
[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
（ 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
（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-计算机软件与理论