师资队伍

您现在的位置是:首页 > 师资队伍 > 院士
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

王捍贫

职称:教授

研究所:软件研究所

研究领域:计算机理论

办公电话:86-10-6275 5818

电子邮件:whpxhy@pku.edu.cn

个人主页:

主要研究方向

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

 

科研/教育经历

1993.7,博士,北京师范大学


主要荣誉与获奖

教育部高等学校科学技术奖励自然科学奖一等奖一项(排名第二)

北京大学杨-王院士奖

 

研究成果概况

已在包括JPDC、ICALP、CSL、TCS、中国科学等国内外重要学术杂志上发表论文70余篇,教材或译著7部。主持自然科学基金3项,主持或参加国家重点基础研究发展规划(973计划)项目子项目3项, 主持863计划一项,教育部高等学校科学技术奖励自然科学奖一等奖一项(排名第二)和北京大学杨-王院士奖,获日本大川研究基金研究助成奖。任中国人工智能学会常务理事,中国人工智能学会离散智能专委会主任委员。


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