个人简介

Visiting Researcher 2017/11-2018/11 Université Paris Diderot, the Research Institute on the Foundations of Computer Science, Automata, Structures, and Verification Supervisor: Professor Ahmed Bouajjani PhD in Computer Software and Theory 2007-2013 State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Supervisor: Professor Wenhui Zhang Bachelor in Computer Science 2003-2007 Beijing Jiaotong University, Beijing, China.