JIANWEN LI's Homepage


Image lijianwen $      $ $      $ $      $
Adress:
$      $6100 Main Street,
$      $Houston, TX, USA
Office:
$      $3054, Duncan Hall
Email:
$      $lijwen2748@gmail.com
Facebook:
$      $https://www.facebook.com/jianwen.li.90

Personal Information

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.

Safety hardware model checking project

LTL satisfiability checking project

Publications



Jianwen Li 2014-10-12