Yuxi Fu

Yuxi Fu

I am a professor of the Department of Computer Science, Shanghai Jiaotong University (SJTU). I served as the chair of the Computer Science Department from 1999 to 2009 and as the dean of the School of Software from 2010 to 2013. Currently I am the director of BASICS, the Laboratory for the Basic Studies in Computing Science, and the director of the MoE-MS Joint Key Laboratory on Intelligent Computing and Intelligent Systems.

My research interest has been mainly in theoretical computer science. The evolution of my research interest, from type theory and its semantics, to process theory, and then to the expressiveness of interaction, can be seen from the list of my publications. My current research focuses on theory of interaction and verification on infinite state systems.

The theory of interaction aims to provide a unified treatment to both computation models and interaction models. The starting point of the theory is to define, in a model independent manner, the two most important relationships in computer science, the expressiveness relationship between the models and the equality relationship between the objects of a model. Model independence is crucial to any formalization of the foundational postulates in computer science. The principles and the methodologies of the theory of interaction cast new lights on complete models such as the name-passing calculi and the value-passing calculi.

Our work on verification of infinite state systems has been carried out in the framework of process rewriting systems. Equality checking and regularity checking are difficult in the presence of silent actions. We have proved recently that both branching bisimilarity and its associated regularity problem are decidable for normed BPA with silent moves.

I am an executive member of the Asian Association for Foundation of Software (AAFS).

I am on the editorial board of Mathematical Structures in Computer Science.

I am involved with LICS 2015.

I teach computational complexity in this semester.


Papers (bibtex)

Theory of Interaction


Porcess Calculus

Type and Semantics


Last updated: 26 Feb, 2015