主要研究方向
計算機理論，研究方向包括程序邏輯、程序語義，計算機系統的描述與驗證
科研/教育經曆
1993.7，博士，北京師範大學
主要榮譽與獲獎
教育部高等學校科學技術獎勵自然科學獎一等獎一項（排名第二）
beat365楊-王院士獎
研究成果概況
已在包括JPDC、ICALP、CSL、TCS、中國科學等國内外重要學術雜志上發表論文70餘篇，教材或譯著7部。主持自然科學基金3項，主持或參加國家重點基礎研究發展規劃（973計劃）項目子項目3項, 主持863計劃一項，教育部高等學校科學技術獎勵自然科學獎一等獎一項（排名第二）和beat365楊-王院士獎，獲日本大川研究基金研究助成獎。任中國人工智能學會常務理事，中國人工智能學會離散智能專委會主任委員。
Selected Publications
[1] Yuxin Jing, Hanpin Wang,Yu Huang,Lei Zhang,Jiang Xu,Yongzhi Cao:
A modeling language to describe massive data storage management in cyber-physical systems.J. Parallel Distrib. Comput. 103: 113-120 (2017)
[2] Jiabao Lin, Hanpin Wang: The Complexity of Holant Problems over Boolean Domain with Non-Negative Weights.ICALP 2017: 29:1-29:14, (2017).
