Yuxi Fu is a professor of computer science at Shanghai Jiao Tong University. As a theoretical computer scientist, Yuxi is internationally known for his work ranging from type theory, process calculi, theory of interaction, to verification of infinite state systems. In particular, his theory of interaction provides a unified treatment to both computation and interaction models. Currently he is on the editorial board of Mathematical Structures in Computer Science and is an executive member of the Asian Association for Foundation of Software.

After obtaining his Ph.D. from the University of Manchester, Yuxi joined Shanghai Jiao Tong University in the early 90s, rising from associate professor to full professor within 3 years. He was instrumental in creating the theory group, known as BASICS (Basic Studies in Computing Science), at Shanghai Jiao Tong. Under his leadership, BASICS has become one of the best theory groups in China with an international presence through regular publications in ICALP and LICS. As a result, Yuxi has influenced the Chinese theoretical computer science community in the last two decades.

Given his long-time contributions and service to theoretical computer science, we are organizing a workshop in honor of Yuxi’s 60th birthday in 2022. With the workshop, we will also publish a Festschrift as a special issue of Theoretical Computer Science.

Topics

  • Models of computation
  • Complexity and computability
  • Models of concurrent, distributed, and mobile systems
  • Models of probabilistic systems
  • Quantum computation
  • Principles and semantics of programming languages
  • Automata, logic and games
  • Logic in computer science
  • Program analysis and verification
  • Type systems