出自计算机科学国家重点实验室

博士研究生
导师：柳欣欣
研究方向：Propositional dynamic logic，specification，modal logic，mu-calculus
邮箱: xuebt(at)ios.ac.cn
个人介绍：

• Research interests:
  • Specification in LTS
  • Propositional dynamic logic
  • modal logic
• Education:
  • B.S. Nanjing University of Science and Technology, Computer Science and Technology, 2001-2005;
  • Ph.D. Institute of Software, Chinese Academy of Sciences, Computer Science, 2005-now.
• Publications:
  • Xinxin Liu, Bingtian Xue. Extending PDL with Recursion. (NWPT’10).
  • Xinxin Liu, Bingtian Xue. Decomposition of Automata PDL and its Extension. (IMECS’12).
  • Xinxin Liu, Bingtian Xue. Specification in PDL with Recursion. (NFM’12).