Yuxi Fu

I am a professor of the Department of Computer Science, Shanghai Jiaotong University (SJTU). Currently I am serving as the Departmental chairman and the dean of the School of Software. I am also the director of BASICS, the Laboratory for the Basic Studies in Computing Science, supported by the Shanghai Education Commission. My research interest is in theoretical computer science, focusing mainly on the concurrency theory, the type theory and the related issues in formal method. The evolution of my research interest can be seen from the list of my publications. Almost all the collaborators of these publications are my former and present PhD students. Our research effort has come up with results in type theory and its semantics, χ-Calculus, π-Calculus and Ambient Calculus. My present research work is supported by the projects from MIST and NNSFC.

I am an executive member of the Asian Association for Foundation of Software (AAFOS). I am also involved in a number of other professional activities.

My teaching duty includes normally one postgraduate course per semester.

Working Papers

Contact

• Tel: +86 21 34205088
• Fax: +86 21 34204728
• Email: fu-yx (at) cs.sjtu.edu.cn or yxfu (at) sjtu.edu.cn
• Postal Address:
  

  Department of Computer Science
  School of Electronics and Informatics
  Shanghai Jiaotong University
  800 Dongchuan Road
  Shanghai 200240

Publications

Former Students

• Xiaoju Dong
• Farong Zhong
• Yonggen Gu
• Min Zhang
• Xian Xu
• Han Zhu
• Xiaojuan Cai
• Huan Long

Present Students

• Xuan Cai
• Chaodong He
• Jianxin Xue
• Hao Huang

• Workshop and Summer School on Basic Studies in Computer Science (BASICS'00), Shanghai, 2000. Co-chair
• Asian Computer Science Conference (ASIAN'00), Malaysia, 2000.
• ICYCS'01, Zhejiang, 2001.
• Workshop and Summer School on Basic Studies in Computer Science (BASICS'01), Shanghai, August, 2001. Co-chair
• Workshop and Summer School on Basic Studies in Computer Science (BASICS'02), Shanghai, 2002. Co-chair
• Asian Symposium on Programming Languages and Systems (APLAS'02), Shanghai, August, 2002. Co-chair
• Asian Symposium on Programming Languages and Systems (APLAS'03), Beijing, 2003.
• The Second International Workshop on Grid and Cooperative Computing (GCC'03), Shanghai, 2003.
• ICYCS'03, Harbin, October, 2003.
• Special Session: Grid Computing Techniques and Applications of The 2004 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'04), Las Vegas, Nevada, June 21-24, 2004.
• 2004 IEEE International Conference on Services Computing (SCC 2004), advisory committee member.
• Workshop and Summer School on Basic Studies in Computer Science (BASICS'04), Shanghai, 2004. Co-chair
• The 7th International Conference on Asian Digital Libraries - International Collaboration and Cross-Fertilization, Shanghai, December 13-17, 2004. Co-chair.
• The International Symposium on Computational and Information Sciences (CIS'04), Shanghai, December 16-18, 2004. Co-chair.
• Workshop and Summer School on Basic Studies in Computer Science (BASICS'05), Yangzhou, 2005. Co-chair
• The 10th IEEE International Conference on the Engineering of Complex Computer Systems (ICECCS2005), Shanghai, 16-20 June, 2005, IEEE Computer Society. General Chair.
• The Third International Workshop on Software Development Methodologies of Distributed Systems, Shanghai, May, 2006.
• 28th International Conference on Software Engineering, 20-28 May, Shanghai, 2006.

I normally teach one postgraduate course every semester. Over the years my courses have covered subjects on λ-calculus, domain theory, modal logic, concurrency theory, non-well-founded set theory, type theory and mathematical logics.