Map     中文
Xinxin LIU

From State Key Laboratory of Computer Science

Main Page > People > Staff > Xinxin LIU
Jump to: navigation, search
Professional Title: Research Professor Lxx.jpg
Research Fields: Concurrency theory and applications
Tel: 010-62661610
E-Mail: xinxin(at)ios.ac.cn

Personal Description:

  • Was selected into "One-hundred program" of Chinese Academy of Sciences in 2000.
  • His main research topic include the models and algorithm design of concurrency.
  • The algorithm for solving CCS process equations proposed by him together with his supervisor Larsen is the most efficient.
  • He also proposed linear-time local model checking algorithm for alternation-free mu-calculus.
  • He investigated how to use Pi-calculus to describe the object-oriented semantics as well as theory of higher-order process calculus

Copyright © State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Powered by MediaWiki