热点话题人物,欢迎提交收录!
最优雅的名人百科,欢迎向我们提交收录。
王捍贫
2023-05-05 16:31
  • 王捍贫
  • 王捍贫 - 教授-北京大学-信息科学技术研究所-个人资料

近期热点

资料介绍

个人简历


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

相关热点

扫码添加好友