1993.7，博士，北京师范大学

计算机理论，研究方向包括程序逻辑、程序语义，计算机系统的描述与验证

[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).