地图     English
柳欣欣

出自计算机科学国家重点实验室

首页 > 人才队伍 > 科研人员 > 柳欣欣
跳转到: 导航, 搜索
职称: 研究员 Lxx.jpg
研究方向: 并发理论与应用
电话: 010-62661610
E-Mail: xinxin(at)ios.ac.cn

2000年8月应聘“百人计划”回国,到中科院软件所计算机科学开放实验室工作。他长期从事计算机科学理论及并发程序模型与算法方面的研究工作。他与导师Larsen教授一起提出的CCS进程方程的求解方法是同类工作中最先进的。他与同行合作,在传值进程的模态逻辑方面做出了创新性的工作,并提出了无交错不动点mu演算公式模型检测的线性时间局部算法。他还深入研究了用π-演算描述面向对象语言的语义以及一般高阶进程演算的理论。



版权所有 © 中国科学院软件研究所计算机科学国家重点实验室 Powered by MediaWiki
京ICP备05046678号