1992-1994英国Sussex大学研究职位，1994-1996英国Warwick大学研究职位，1996-2000美国纽约州立大学石溪分校研究职位，2000年开始在软件所工作。

[1] Xinxin Liu and David Walker: Partial Confluence of Processes and
Systems of Objects. Theoretical Computer Science 206(1998).
[2] Xinxin Liu and Scott A. Smolka: Simple Linear-Time Algorithms for
Minimal Fixed Points. Proceedings of the 25th International Colloquium
on Automata, Languages and Programming (ICALP'98), LNCS Springer 1998.
[3] Matthew Hennessy and Xinxin Liu: A Modal Logic for Message Passing
Processes. In Acta Informatica, Vol. 32, 1995, Fasc.4, page 375-393.
[4] Kim G. Larsen and Xinxin Liu: Compositionality Through an Operational
Semantics of Contexts. In Journal of Logic and Computation, Vol. 1, issue 6, 1991.