柳欣欣 - 中国科学院大学 - 计算机科学与技术学院

个人简介

招生专业 081202-计算机软件与理论招生方向并发系统正确性,程序逻辑教育背景 1988-09--1992-06 丹麦Aalborg大学博士工作简历 2000-08~现在, 中国科学院软件研究所, 研究员 1994-03~1996-03,英国Warwick大学, 博士后 1992-03~1994-03,英国Sussex大学, 博士后教授课程数据结构形式语义学引论科研项目（ 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

研究领域

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

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

（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 作者

学术兼职

2019-08-31-2022-08-30,兼职教授, 西南大学计算机与信息科学学院RISE实验室客座教授