I am now a postdoc researcher at Rice University, advised by Professor Moshe Y. Vardi. I got my PhD in East China Normal University, 2014 and advised by Professor Jifeng He and Geguang Pu. I am also guided by professor Lijun Zhang in SECA, China. My research interests include program verification, Automata theorey and Logic. Recently my reasearch topic focus on SAT-based model checking techniques and SAT-based LTL resasoning.