Yuxi Fu
I am a professor of the Department of Computer Science, Shanghai Jiao Tong
University. I served as the chair of the Computer Science Department from 1999 to 2009 and as the dean of the School of Software from 2001 to 2013. Currently I am the director
of BASICS,
the Laboratory for Basic Studies in
Computing Science, and the president of Shanghai Computer Society.
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 fields cover (i) Theory of Interaction founded on Thesis of Interaction and (ii) decidability and complexity issues in verification.
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 models and the equality relationship between the processes of a model. Model independence is crucial to any formalization of the foundational postulates in computer science. It renders posssible the formalization of Thesis of Interaction.
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 that the branching bisimilarity on normed PBA is decidable. Our recent work is about the decidability of epsilon pushig/poping PDA.
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 teach two courses, Computational Complexity I in autumn semester and Computational Complexity II in spring semester.
Contact
 Tel: +86 21 34205088
 Fax: +86 21 34204728
 Email: fuyx (at) cs.sjtu.edu.cn
 Address:

Department of Computer Science
School of Electronic Information and Electrical Engineering
Shanghai Jiaotong University
800 Dongchuan Road
Shanghai 200240
Theory of Interaction
 Yuxi Fu. Thesis for Interaction, 2017. (full paper)
 Yuxi Fu. The Universal Process. To appear in Logical Methods in Computer Science, 2016. (full paper)
 Yuxi Fu. Theory of Interaction. Theoretical Computer Science, 611:149, 2016. (pdf)
 Yuxi Fu. Nondeterministic Structure of Computation. Mathematical Structures in Computer Science, 25:12951338, 2015. (pdf)
 Yuxi Fu, Han Zhu. The NamePassing Calculus, 2015. (Arxiv)
 Yuxi Fu. The ValuePassing Calculus. Theories of Programming and Formal Methods, Lecture Notes in Computer Science 8051, 166195, 2013. (pdf)
 Xiaojuan Cai, Yuxi Fu. The λCalculus in the πCalculus. Mathematical Structures in Computer Science, 21: 943996, 2011. (pdf)
 Yuxi Fu. Theory by Process. CONCUR 2010, Lecture Notes in Computer Science 6296, 403416. Springer, 2010. (pdf)
 Yuxi Fu, Hao Lu. On the Expressiveness of Interaction. Theoretical Computer Science, 411:13871451, 2010. (pdf)
Verification
 Yuxi Fu, Qiang Yin. Bisimulation Decomposition for PDA Decidability. 2017. (full paper)
 Qiang Yin, Yuxi Fu, Chaodong He, Mingzhang Huang, Xiuting Tao. Branching Bisimilarity Checking for PRS. J. Esparza et al. (Eds.): ICALP 2014, Part II, Lecture Notes in Computer Science 8573, 363374, 2014. (full paper)
 Yuxi Fu. Checking Equality and Regularity for Normed BPA with Silent Moves. F.V. Fomin et al. (Eds.): ICALP 2013, Part II, Lecture Notes in Computer Science 7966, 244255. Springer, 2013. (full paper)
 Chaodong He, Yuxi Fu, Hongfei Fu. Decidability of Behavioral Equivalences in Process Calculi with Name Scoping. FSEN 2011, Lecture Notes in Computer Science 7141, 284298. Springer, 2012. (pdf)
Process Calculus
 Yuxi Fu. Fair ambients, Acta Informatica,
43(8):535594, 2007. (pdf)
 Yuxi Fu. Checking equivalence for higher order
process, 2006. Working Paper. (pdf)
 Yuxi Fu. A schematic axiom for open
congruence. Science in China (Series F), 48:6777,
2005. (pdf)
 Yuxi Fu. On quasi open bisimulation. Theoretical
Computer Science, 338:96126, 2005. (pdf)
 Yuxi Fu, Zhengrong Yang. Tau laws for pi
calculus. Theoretical Computer Science, 308:55130,
2003. (pdf)
 Yuxi Fu, Zhengrong Yang. Understanding the mismatch
combinator in chi calculus. Theoretical Computer Science,
290:779830, 2003. (pdf)
 Yuxi Fu. Bisimulation congruences of chi
calculus. Information and Computation, 184:201226,
2003. (pdf)
 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 219, Beijing, China, November
2003. Springer. (pdf)
 Yuxi Fu. Testing congruence for mobile
process. Journal of Computer Science and Technology,
17(1):7382, 2002.
 Yuxi Fu. Axiomatization without prefix combinator.
In Klaus Keimel et al., editors, Domains and Processes, pages
245273. Kluwer Academic Publishers, 2001. (pdf)
 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 596610, Pennsylvania, USA, August
2000. Springer. (pdf)
 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 385396, New Delhi, India, December
2000. Springer. (pdf)
 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 304319, Eindhoven, The Netherlands, August 1999.
Springer. (pdf)
 Yuxi Fu. Variations on mobile processes.
Theoretical Computer Science, 221:327368,
1999. (pdf)
 Yuxi Fu. Symmetric πcalculus. Journal of
Computer Science and Technology, 13:202208, 1998.
 Yuxi Fu. A functional presentation of pi
calculus. Science in China (Series F, Information Sciences),
44(1):2032, 2001.
 Yuxi Fu. Reaction graph. Journal of Computer
Science and Technology, 13:510530, 1998. (pdf)
 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 245262, Manila, The Philippines, December
1998. Springer. (pdf)
 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
7481. IEEE Computer Society Press, 1997. (pdf)
 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 325335, Bologna,
Italy, July 1997. Springer. (pdf)
Type and Semantics
 Yuxi Fu. Semantics of constructions (I): The
traditional approach. Journal of Computer Science and
Technology, 16(1):1325, 2001.
 Yuxi Fu. Semantics of constructions (II): The
initial algebraic approach. Journal of Computer Science and
Technology, 16(2):137145, 2001.
 Yuxi Fu. On the internal structures of inductive
types. Science in China (Series E), 43:542560, 2000.
 Yuxi Fu. Relative properties of frame
language. Journal of Computer Science and Technology,
14:320327, 1999.
 Yuxi Fu. Structures defined in
polymorphism. Journal of Computer Science and Technology,
13:579587, 1998.
 Yuxi Fu. Constructive sets in computable
sets. Journal of Computer Science and Technology, 12:425440,
1997.
 Yuxi Fu. Categorical properties of logical
frameworks. Mathematical Structures in Computer Science,
7:147, 1997. (pdf)
 Yuxi Fu. Recursive models of general inductive
types. Fundamenta Informaticae, 26:115131,
1996. (pdf)
Miscellany
 Guosheng Cheng and Yuxi Fu. Error estimation of
perturbations under CRI. IEEE Transactions on Fuzzy Systems,
14(6):709715, December 2006. (pdf)