傅 育熙 教授
主页：[点击这里]
办公室电话：+86-21-3420-5088
办公地点：SEIEE-3-421
电子邮件：fu-yx@cs.sjtu.edu.cn
实验室： BASICS实验室


研究兴趣
教育背景
工作经验
教授课程
论文发表
项目资助
获奖信息
学术服务


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.