Fu Yuxi Professor

MainPage: [Click here]

Office Telephone: +86-21-3420-5088

Office Address: SEIEE-3-421

Email: fu-yx@cs.sjtu.edu.cn

- Research
- Education
- Work Experience
- Teaching Assignment
- Publications
- Project Fund
- Awards
- Academic Service

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.

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 am an executive member of the Asian Association for Foundation of Software (AAFS).

Theory of computability

Theory of computation

Theory of programming language

Theory of computation

Theory of programming language

○ Theory of Interaction

? Yuxi Fu. The Universal Process.

? Yuxi Fu. Nondeterministic Structure of Computation.

? Yuxi Fu, Han Zhu. The Name-Passing Calculus.

? Yuxi Fu. Theory of Interaction.

? Yuxi Fu, The Value-Passing Calculus. Theories of Programming and Formal Methods 2013: 166-195.

? Xiaojuan Cai, Yuxi Fu. The λ-Calculus in the π-Calculus. Mathematical Structures in Computer Science, 21(5): 943-996 (2011).

? Yuxi Fu. Theory by Process. In Proceedings of CONCUR 2010, volume 6296 of Lecture Notes in Computer Science, pages 403-416, Springer, 2010.

? Yuxi Fu, Hao Lu. On the Expressiveness of Interaction. Theoretical Computer Science, 411:1387-1451, 2010.

○ Verification on Infinite States

? Yuxi Fu, Checking Equality and Regularity for Normed BPA with Silent Moves. ICALP (2) 2013: 238-249.

? Chaodong He, Yuxi Fu, Hongfei Fu. Decidability of Behavioral Equivalences in Process Calculi with Name Scoping. In Proceedings of FSEN 2011, volume 7141 of Lecture Notes in Computer Science, page 284-298. Springer, 2012.

○ Porcess Calculus

? Yuxi Fu. Fair ambients, Acta Informatica, 43(8):535-594, 2007.

? Yuxi Fu. Checking equivalence for higher order process, 2006. Working Paper.

? Yuxi Fu. A schematic axiom for open congruence. Science in China (Series F), 48:67-77, 2005.

? Yuxi Fu. On quasi open bisimulation. Theoretical Computer Science, 338:96-126, 2005.

? Yuxi Fu, Zhengrong Yang. Tau laws for pi calculus. Theoretical Computer Science, 308:55-130, 2003.

? Yuxi Fu, Zhengrong Yang. Understanding the mismatch combinator in chi calculus. Theoretical Computer Science, 290:779-830, 2003.

? Yuxi Fu. Bisimulation congruences of chi calculus. Information and Computation, 184:201-226, 2003.

? Xiaoju Dong and Yuxi Fu. Observing asymmetry and mismatch. In Proceedings of the 1st Asian Symposium on Programming Languages and Systems (APLAS'03), volume 2895 of Lecture Notes in Computer Science, pages 2-19, Beijing, China, November 2003. Springer.

? Yuxi Fu. Testing congruence for mobile process. Journal of Computer Science and Technology, 17(1):73-82, 2002.

? Yuxi Fu. Axiomatization without prefix combinator. In Klaus Keimel et al., editors, Domains and Processes, pages 245-273. Kluwer Academic Publishers, 2001.

? Yuxi Fu and Zhengrong Yang. Chi calculus with mismatch. In Proceedings of the 11th International Conference on Concurrency Theory (CONCUR'00), volume 1877 of Lecture Notes in Computer Science, pages 596-610, Pennsylvania, USA, August 2000. Springer.

? Yuxi Fu and Zhengrong Yang. The ground congruence for chi calculus. In Proceedings of the 20th Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS'00), volume 1974 of Lecture Notes in Computer Science, pages 385-396, New Delhi, India, December 2000. Springer.

? Yuxi Fu. Open bisimulations on chi processes. In Proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99), volume 1664 of Lecture Notes in Computer Science, pages 304-319, Eindhoven, The Netherlands, August 1999. Springer.

? Yuxi Fu. Variations on mobile processes. Theoretical Computer Science, 221:327-368, 1999.

? Yuxi Fu. Symmetric π-calculus. Journal of Computer Science and Technology, 13:202-208, 1998.

? Yuxi Fu. A functional presentation of pi calculus. Science in China (Series F, Information Sciences), 44(1):20-32, 2001.

? Yuxi Fu. Reaction graph. Journal of Computer Science and Technology, 13:510-530, 1998.

? Yuxi Fu. Bisimulation lattice of chi processes. In Proceedings of the 4th Asian Computing Science Conference (ASIAN'98), volume 1538 of Lecture Notes in Computer Science, pages 245-262, Manila, The Philippines, December 1998. Springer.

? Yuxi Fu. The χ-calculus. In Advances in Computing Science, Proceedings of the 1997 International Conference on Advances in Parallel and Distributed Computing (APDC'97), pages 74-81. IEEE Computer Society Press, 1997.

? Yuxi Fu. A proof theoretical approach to communications. In Proceedings of the 24th International Colloquium on Automata, Languages and Programming (ICALP'97), volume 1256 of Lecture Notes in Computer Science, pages 325-335, Bologna, Italy, July 1997. Springer.

Type and Semantics

? Yuxi Fu. Semantics of constructions (I): The traditional approach. Journal of Computer Science and Technology, 16(1):13-25, 2001.

? Yuxi Fu. Semantics of constructions (II): The initial algebraic approach. Journal of Computer Science and Technology, 16(2):137-145, 2001.

? Yuxi Fu. On the internal structures of inductive types. Science in China (Series E), 43:542-560, 2000.

? Yuxi Fu. Relative properties of frame language. Journal of Computer Science and Technology, 14:320-327, 1999.

? Yuxi Fu. Structures defined in polymorphism. Journal of Computer Science and Technology, 13:579-587, 1998.

? Yuxi Fu. Constructive sets in computable sets. Journal of Computer Science and Technology, 12:425-440, 1997.

? Yuxi Fu. Categorical properties of logical frameworks. Mathematical Structures in Computer Science, 7:1-47, 1997.

? Yuxi Fu. Recursive models of general inductive types. Fundamenta Informaticae, 26:115-131, 1996.

○ Miscellany

? Guosheng Cheng and Yuxi Fu. Error estimation of perturbations under CRI. IEEE Transactions on Fuzzy Systems, 14(6):709-715, December 2006.

? Yuxi Fu. The Universal Process.

? Yuxi Fu. Nondeterministic Structure of Computation.

? Yuxi Fu, Han Zhu. The Name-Passing Calculus.

? Yuxi Fu. Theory of Interaction.

? Yuxi Fu, The Value-Passing Calculus. Theories of Programming and Formal Methods 2013: 166-195.

? Xiaojuan Cai, Yuxi Fu. The λ-Calculus in the π-Calculus. Mathematical Structures in Computer Science, 21(5): 943-996 (2011).

? Yuxi Fu. Theory by Process. In Proceedings of CONCUR 2010, volume 6296 of Lecture Notes in Computer Science, pages 403-416, Springer, 2010.

? Yuxi Fu, Hao Lu. On the Expressiveness of Interaction. Theoretical Computer Science, 411:1387-1451, 2010.

○ Verification on Infinite States

? Yuxi Fu, Checking Equality and Regularity for Normed BPA with Silent Moves. ICALP (2) 2013: 238-249.

? Chaodong He, Yuxi Fu, Hongfei Fu. Decidability of Behavioral Equivalences in Process Calculi with Name Scoping. In Proceedings of FSEN 2011, volume 7141 of Lecture Notes in Computer Science, page 284-298. Springer, 2012.

○ Porcess Calculus

? Yuxi Fu. Fair ambients, Acta Informatica, 43(8):535-594, 2007.

? Yuxi Fu. Checking equivalence for higher order process, 2006. Working Paper.

? Yuxi Fu. A schematic axiom for open congruence. Science in China (Series F), 48:67-77, 2005.

? Yuxi Fu. On quasi open bisimulation. Theoretical Computer Science, 338:96-126, 2005.

? Yuxi Fu, Zhengrong Yang. Tau laws for pi calculus. Theoretical Computer Science, 308:55-130, 2003.

? Yuxi Fu, Zhengrong Yang. Understanding the mismatch combinator in chi calculus. Theoretical Computer Science, 290:779-830, 2003.

? Yuxi Fu. Bisimulation congruences of chi calculus. Information and Computation, 184:201-226, 2003.

? Xiaoju Dong and Yuxi Fu. Observing asymmetry and mismatch. In Proceedings of the 1st Asian Symposium on Programming Languages and Systems (APLAS'03), volume 2895 of Lecture Notes in Computer Science, pages 2-19, Beijing, China, November 2003. Springer.

? Yuxi Fu. Testing congruence for mobile process. Journal of Computer Science and Technology, 17(1):73-82, 2002.

? Yuxi Fu. Axiomatization without prefix combinator. In Klaus Keimel et al., editors, Domains and Processes, pages 245-273. Kluwer Academic Publishers, 2001.

? Yuxi Fu and Zhengrong Yang. Chi calculus with mismatch. In Proceedings of the 11th International Conference on Concurrency Theory (CONCUR'00), volume 1877 of Lecture Notes in Computer Science, pages 596-610, Pennsylvania, USA, August 2000. Springer.

? Yuxi Fu and Zhengrong Yang. The ground congruence for chi calculus. In Proceedings of the 20th Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS'00), volume 1974 of Lecture Notes in Computer Science, pages 385-396, New Delhi, India, December 2000. Springer.

? Yuxi Fu. Open bisimulations on chi processes. In Proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99), volume 1664 of Lecture Notes in Computer Science, pages 304-319, Eindhoven, The Netherlands, August 1999. Springer.

? Yuxi Fu. Variations on mobile processes. Theoretical Computer Science, 221:327-368, 1999.

? Yuxi Fu. Symmetric π-calculus. Journal of Computer Science and Technology, 13:202-208, 1998.

? Yuxi Fu. A functional presentation of pi calculus. Science in China (Series F, Information Sciences), 44(1):20-32, 2001.

? Yuxi Fu. Reaction graph. Journal of Computer Science and Technology, 13:510-530, 1998.

? Yuxi Fu. Bisimulation lattice of chi processes. In Proceedings of the 4th Asian Computing Science Conference (ASIAN'98), volume 1538 of Lecture Notes in Computer Science, pages 245-262, Manila, The Philippines, December 1998. Springer.

? Yuxi Fu. The χ-calculus. In Advances in Computing Science, Proceedings of the 1997 International Conference on Advances in Parallel and Distributed Computing (APDC'97), pages 74-81. IEEE Computer Society Press, 1997.

? Yuxi Fu. A proof theoretical approach to communications. In Proceedings of the 24th International Colloquium on Automata, Languages and Programming (ICALP'97), volume 1256 of Lecture Notes in Computer Science, pages 325-335, Bologna, Italy, July 1997. Springer.

Type and Semantics

? Yuxi Fu. Semantics of constructions (I): The traditional approach. Journal of Computer Science and Technology, 16(1):13-25, 2001.

? Yuxi Fu. Semantics of constructions (II): The initial algebraic approach. Journal of Computer Science and Technology, 16(2):137-145, 2001.

? Yuxi Fu. On the internal structures of inductive types. Science in China (Series E), 43:542-560, 2000.

? Yuxi Fu. Relative properties of frame language. Journal of Computer Science and Technology, 14:320-327, 1999.

? Yuxi Fu. Structures defined in polymorphism. Journal of Computer Science and Technology, 13:579-587, 1998.

? Yuxi Fu. Constructive sets in computable sets. Journal of Computer Science and Technology, 12:425-440, 1997.

? Yuxi Fu. Categorical properties of logical frameworks. Mathematical Structures in Computer Science, 7:1-47, 1997.

? Yuxi Fu. Recursive models of general inductive types. Fundamenta Informaticae, 26:115-131, 1996.

○ Miscellany

? Guosheng Cheng and Yuxi Fu. Error estimation of perturbations under CRI. IEEE Transactions on Fuzzy Systems, 14(6):709-715, December 2006.

Beyond Plain Processes: Analysis Techniques, Coinduction and Expressiveness. NSFC-ANR,2013.01-2016.12

M-solvability,M-complexity and the model theory for computer science. NSFC, 2010.1- 2014.12

The structure and basic theory of computer science. STCSM, 2011.6-2013.5

Foundation of program analyses for multi-thread programming. NSFC-JSPS, 2010.4-2012.12

On the expressiveness of process calculus, NSFC, 2009.1-2011.12

On the fairness and anonymity of ambient calculus, NSFC, 2006.1-2008.12

Distinguished Young Scholars Award, NSFC, 2003.1-2006.12.

M-solvability,M-complexity and the model theory for computer science. NSFC, 2010.1- 2014.12

The structure and basic theory of computer science. STCSM, 2011.6-2013.5

Foundation of program analyses for multi-thread programming. NSFC-JSPS, 2010.4-2012.12

On the expressiveness of process calculus, NSFC, 2009.1-2011.12

On the fairness and anonymity of ambient calculus, NSFC, 2006.1-2008.12

Distinguished Young Scholars Award, NSFC, 2003.1-2006.12.