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

职称:	研究员
研究方向：	并发理论与应用
电话:	010-62661610
E-Mail:	xinxin(at)ios.ac.cn

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