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.

• Xiaoju Dong
• Farong Zhong

• Yang Li
• Min Zhang
• Yonggen Gu
• Han Zhu
• Xian Xu
• Xiaojuan Cai
• Huan Long
• Xuan Cai

I am involved in the following workshop/conference:

• 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.

I am teaching concurrency theory this semester. The course is scheduled at 6 PM every Thursday in the lecture room D404.