I am currently a post-doctoral research fellow at INRIA-Sophia Antipolis, working on project MIKADO. I obtained my Ph.D. degree from CS Dept., Shanghai Jiao Tong University, China, 2002. (cv.txt)
My current research focuses on process calculi models for mobile and distributed computation. In my FGC'03 paper, I proposed an extended pi-calculus where channels are nested and the nesting structure is explicitly maintained in names. I am also working on the semantics of the kell calculus, which features explicit location, name and higher-order process passing, and cross-location message joining.
Publications
- Xudong Guan. Towards a Tree of Channels. FGC'03 - Foundations of Global Computing. June, 2003. ENTCS vol 85(1). ps.gz pdf, slides: pdf
- Thesis: Type system and algebraic theory of Robust Ambients. (in Chinese), May 2002, Shanghai Jiao Tong University. pdf ps.gz, slides: ppt ps.gz, talk@MIMOSA(pdf ppt), exerption in English (ps.gz)
- Xudong Guan, Yiling Yang, Jinyuan You. Typing evolving ambients. Info. Proc. Letters. 80(5):265-270, 2001, Elsevier. ps.gz (draft with proof)
- Xudong Guan, Yiling Yang, Jinyuan You. Making ambients more robust. In Proc. Int'l. Conf. on Software: Theory and Practice, pp.377-384, Beijing, China, Aug. 2000. draft: Word97 pdf, slides: ppt pdf A Chinese version appeared in Chinese J. Software, 2002. draft: Word97(Simplified Chinese)
- bibtex file: pub.bib.txt
Some previous works may be found here: here.
Miscellaneous:
- From Ambients to a Routing Calculus. Unpublished draft. ps.gz. Notice: a revised version will appear soon!
- CLOPE algorithm from our KDD'02 paper: clope.tar.gz, joint work with Yiling YANG.
- WebAgent - A tiny script that monitors Web updates for you.
- How to walk from INRIA to Maison des Enterprises: maisonenterprises.jpg
Page location: http://www-sop.inria.fr/mimosa/personnel/Xudong.Guan/index.html.
Last modified: Tue Apr 20 12:29:16 MEST 2004
