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.