Xudong Guan is moved. He can be reached at xudong.guan AT gmail.com.

Xudong GUAN Post-doc research fellow Departamento de Informática Faculdade de Ciências e Tecnologia Universidade Nova de Lisboa Quinta da Torre 2829-516 Caparica Portugal Tel: +351 212948300 ext 10743 (Room: P3/14) Fax: +351 212948541 Mobile: +351 968636153 Email: Xudong.Guan(at)di.fct.unl.pt Web: http://ctp.di.fct.unl.pt/~xguan

I am currently a post-doctoral research fellow at CTP/DI/FCT/UNL (map), working on project Profundis. My co-ordinators are Luís Caires and Luís Monteiro. I have been working/studying at: MIMOSA/INRIA-Sophia Antipolis (map), DCTC BASICS/CS/SJTU (map), XJTU (map). (high school, primary school, map)

More information

• My CV: plain text format

Publications

• Xudong Guan. Name passing in an ambient-like calculus and its proof using spatial logic. In Proc. Express'04, ENTCS 128(2):169-183. long version with proofs (ps.gz), slides: pdf (one-slide/page) pdf (two-slides/page). Full version accepted for publication in TCS.

• Xudong Guan. Towards a tree of channels. FGC'03 - Foundations of Global Computing. June, 2003. ENTCS 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

• How do I typeset my papers?

Miscellaneous:

• Ambient Calculi Online - an online resource page for ambient calculus.

• CLOPE algorithm from our KDD'02 paper: clope.tar.gz, joint work with Yiling YANG.

• My ICFP'04 Programming Contest experience

• WebAgent - A tiny script that monitors Web updates for you.

• My Portuguese Learning Page

Local Links:

• Information: Caparica Online

• Transportations: Lisbon Metro, Lisbon Bus, TST (Timetable@FCT), Portugal Train Service, Lisbon Airport

• Good online map servers: mappy.com, mappoint.msn.com, both good for Portugal locations. Also for cool satellite images, try Maps@Google

• Lisbon traffic realtime cameras.

• 2005 Calendar (with Portugal Holidays)

• Administration: help about visa @ SEF

• Portugal Chinese Students and Scholars Association - Information page

• Chinese Supermarkets at Lisbon