队伍建设
百人计划
杰出青年
人才招聘
科技副职
二、目前主要研究方向及简介
高阶并发进程的理论
三、学习经历
1980-1985中国科技大学，1985-1988中科院软件所，1988-1992丹麦Aalborg大学
四、工作经历
1992-1994英国Sussex大学研究职位，1994-1996英国Warwick大学研究职位，1996-2000美国纽约州立大学石溪分校研究职位，2000年开始在软件所工作。
五、社会兼职
中国科学院研究生院兼职教授
六、研究成果与获奖情况
七、代表论著
[1]XinxinLiuandDavidWalker:PartialConfluenceofProcessesand
SystemsofObjects.TheoreticalComputerScience206(1998).
[2]XinxinLiuandScottA.Smolka:SimpleLinear-TimeAlgorithmsfor
MinimalFixedPoints.Proceedingsofthe25thInternationalColloquium
onAutomata,LanguagesandProgramming(ICALP'98),LNCSSpringer1998.
[3]MatthewHennessyandXinxinLiu:AModalLogicforMessagePassing
Processes.InActaInformatica,Vol.32,1995,Fasc.4,page375-393.
[4]KimG.LarsenandXinxinLiu:CompositionalityThroughanOperational
SemanticsofContexts.InJournalofLogicandComputation,Vol.1,issue6,1991.
八、承担项目
主持自然科学基金项目（60173020）“基于lambda演算和CCS的一般并发程序的理论”
