- 研究兴趣
- 教育背景
- 工作经验
- 教授课程
- 论文发表
- 项目资助
- 获奖信息
- 学术服务
My research interest has been mainly in theoretical computer science. The evolution of my research interest, from type theory and its semantics, to concurrency theory, and then to theory of interaction, can be seen from the list of my publications. Some of my working papers can be found here.
Our work on the expressiveness of interaction began in 2006. The approach reported in the TCS 2010 paper is only applicable to particular models. The restriction did however forced us to think about a general theory that studies computation/interaction models in a model independent manner. Our preliminary results in Theory of Interaction have been communicated to the audience of BASICS 2009. The principles and the methodologies of Theory of Interaction cast new lights on complete models such as the name-passing calculi (the program models) and the value-passing calculi (the functional models). They also help to bring out the importance of the machine models of interaction.
I received a bachelor degree in computer science from Tongji University in 1986, and a PhD in computer science from Manchester University, England, in 1992.
I am a professor of the Department of Computer Science, Shanghai Jiaotong University (SJTU). I have served as the chair of the department from February 1999 to May 2009. Currently I am serving as the dean of the School of Software. I am the director of BASICS, the Laboratory for the Basic Studies in Computer Science, and the director of the MoE-MS Joint Key Laboratory on Intelligent Computing and Intelligent Systems.
I teach algorithm course and recursion theory course in this semester.