个人简介
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.