Xudong GUAN Curriculum Vitae -------------------------------------------------------------------------------- Departamento de Informatica Tel: +351-212948300 ext 10743 Faculdade de Ciencias e Tecnologia Fax: +351-212948541 Universidade Nova de Lisboa Mobile: +351-968636153 Quinta da Torre Email: Xudong.Guan(at)di.fct.unl.pt 2829-516 Caparica Web: http://ctp.di.fct.unl.pt/~xguan Portugal -------------------------------------------------------------------------------- Desire + Plan + Persistence = Success Bio === Xudong Guan was born in 1976 in Xushi, Changshu, Jiangsu Province, China. Married, with one child. Citizen of P. R. China. Research Interests ================== 1. Modeling and verification of mobile and distributed computation 2. Machine learning and data mining, web usage mining and personalized systems Education & Experience ====================== 1. Mar. 2004 - Dec. 2005 Post-doctoral research fellow DI/FCT/UNL, Portugal Project: PROFUNDIS - PROofs of FUNctionality for mobile DIstributed Systems Coordinators: Luis Caires, Luis Monteiro 2. Sep. 2002 - Feb. 2004 Post-doctoral research fellow INRIA-Sophia Antipolis, France Project: MIKADO - MobIle CAlculi based on DOmains Coordinators: Gerard Boudol, Ilaria Castellani 3. Mar. 1999 - Jun. 2002 Shanghai Jiao Tong University, Shanghai, China Ph.D. in Computer Software and Theory Advisor: Prof. Jinyuan You Thesis Title: Type System and Algebraic Theory of Robust Ambients 4. Sept. 1993 - Mar. 1999 Xi'an Jiao Tong University, Xi'an, China M.S. in Computer Science and Engineering, Mar. 1999 B.S. in Computer Science and Engineering, Jul. 1996 5. Sept. 1991 - July 1993 Juvenile Class for the Young and Talented, Xi'an Jiao Tong Univ. Publications ============ Process calculi --------------- 1. Xudong Guan. Name passing in an ambient-like calculus and its proof using spatial logic. In Proc. EXPRESS'04, ENTCS 128(2):169-183. Full version to appear in Theoretical Computer Science. 2. Xudong Guan. Towards a tree of channels. In Proc. FGC'03, ENTCS:85(1). 3. Xudong Guan. Type system and algebraic theory of Robust Ambients. PhD thesis, May 2002, Shanghai Jiao Tong University. (in Chinese) 4. Xudong Guan, Yiling Yang, Jinyuan You. Further control on the grave interference in mobile ambients. Chinese J. Software, 13(5):1018-1023, 2002 (in Chinese). 5. Xudong Guan, Yiling Yang, Jinyuan You. Typing evolving ambients. Info. Proc. Letters. 80(5):265-270, 2001, Elsevier. 6. 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. Web usage mining ---------------- 7. Yiling Yang, Xudong Guan, Jinyuan You. CLOPE: A fast and effective clustering algorithm for transactional data. In Proc. KDD'02, 2002. 8. Yiling Yang, Xudong Guan, Jinyuan You. Improving the interestingness of web usage mining. J. Shanghai Jiao Tong Univ.(E), 2001. 9. Yiling Yang, Xudong Guan, Jinyuan You. Mining the frequently visited page groups based on the content of HTML pages and the site topology. Chinese J. Software, 2001. (in Chinese) 10. Yiling Yang, Xudong Guan, Lina Lu, Jinyuan You. Frame filtering in the data preprocessing of Web usage mining. Computer Engineering (China), 27(2):76-77, 2001. (in Chinese) 11. Yiling Yang, Xudong Guan, Jinyuan You. SWLMS - A small Web log mining system. J. Shanghai Jiao Tong Univ. 34(7):932-935, 2000. (in Chinese) 12. Yiling Yang, Xudong Guan, Jinyuan You. Frame filtering in the data preprocessing for web usage mining. In Proc. Int'l. Conf. on Intelligent Info. Processing, pp.507-511, Beijing, China, Aug. 2000. 13. Yiling Yang, Xudong Guan, Jinyuan You. Enhanced algorithm for mining frequently visited page groups. In Proc. ICDCS'2000 Workshops, pp.F54-F57, Taipei, Taiwan, Apr. 2000. Mobility and security --------------------- 14. Xudong Guan, Yiling Yang, Jinyuan You. POM - A mobile agent security model against malicious hosts. In Proc. HPC-Asia'2000, pp.1165-1166, Beijing, China, May 2000. Presentations ============= Presentations of accepted papers -------------------------------- 1. Name passing in an ambient-like calculus and its proof using spatial logic. 11th International Workshop on Expressiveness in Concurrency, London, Great Britain, 30 August 2004. 2. Towards a tree of channels. 2nd EATCS Workshop on Foundations of Global Computing, Eindhoven, The Netherlands, 29 June 2003. 3. Making ambients more robust. International Conference on Software: Theory and Practice, part of The 16th IFIP World Computer Congress, Beijing, China, 22 August 2000. 4. POM - A mobile agent security model against malicious hosts. 4th International Conference on High-Performance Computing in the Asia-Pacific Region, Beijing, China, 17 May 2000. Colloquia and Seminar Lectures ------------------------------ 5. Encoding Pi-Calculus In Ambients. Wednesday Morning Club seminar. DI/FCT/UNL, Portugal, 28 April 2004. 6. Wagon: walls and agents in ambients. MIKADO project workshop, Florence, Italy, 6 Dec. 2002. 7. An introduction to my research. Project seminar. INRIA-Sophia Antipolis, France, Oct. 2002. 8. Typing evolving ambients. Computer and Information Technology 2001, Shanghai University, China, Sep. 2001. Poster presentations -------------------- 9. CLOPE: A fast and effective clustering algorithm for transactional data. 8th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Edmonton, Alberta, Canada, 24 July 2002. Professional Services ===================== External reviewer ----------------- Journals: Acta Informatica, Information and Computation, Journal of Zhejiang University (Science), Theoretical Computer Science Conferences/workshops: IFIP TCS'02, Express'04 Honors ====== 1. ACM SIGKDD Student Scholarship Awards (AAAI), July 2002. 2. 3-Good Student (2001), Shanghai Jiao Tong Univ. (2 awards out of 30 Ph.D. students in my class) 3. Guanghua Scholarship (2000), Shanghai Jiao Tong Univ. (3rd rank in my class of 30 Ph.D. students) 4. Guanghua Scholarship (1999), Shanghai Jiao Tong Univ. (2nd rank in my class of 30 Ph.D. students) Computer Skills =============== 1. C/C++ programming with - gcc/gdb/emacs under Linux - MS Visual C++, Borland C++ Builder, Turbo C under DOS/Windows 2. Java programming with - Eclipse IDE - Borland JBuilder under Windows - JDK under Windows/Linux 3. Web authoring and server operating (PHP/MySQL/Perl/Python/Apache) 4. Database and management information system (MIS) programming with - Delphi/Sybase SQL Anywhere/Paradox, MS Access, and MS Foxpro under DOS/Windows. 5. Standard ML and OCaml programming 6. Professional documents/slides preparation (both Chinese and English) with - LaTeX/LyX, Asymptote - Microsoft Office Suite, OpenOffice.org Teaching Experiences ==================== 1. Mar. - July 2001, Network Education College, Shanghai Jiao Tong Univ. Taught a 20-hour undergraduate course 'GUI Programming in Delphi' in Network Education College, SJTU. Languages ========= 1. English (fluent) 2. French (read, basic conversation) 3. Portuguese (read, basic conversation) References ========== Available upon request. ----------------------------- End of File --------------------------------------