研究所向，与长期积累

王捍贫，教授，博士生导师，主要研究方向为程序理论和计算复杂性，包括程序逻辑、程序语义，分布式系统（特别是云存储系统）的描述与验证，计数问题类的二分性和可近似性。已在包括 ICALP、JPDC、TCS、SIAM Journal on Computers、Information and Computation、中国科学等国内外重要学术杂志上发表论文约90篇，著作或译著7部。主持自然科学基金5项，参加自然科学基金4项，主持或参加国家重点基础研究发展规划（973计划）项目子项目3项，主持863计划一项，主持和参加国家重点研发计划课题各一项。获日本大川研究基金研究助成奖，教育部高等学校科学技术奖励自然科学奖一等奖一项（排名第二）。