王捍贫-中国科学院大学-UCAS
[中文]
[English]
教育背景
工作经历
专利与奖励
出版信息
科研活动
基本信息
王捍贫 男 博导 北京大学电子邮件： whpxhy@pku.edu.cn通信地址： 北京大学信息技术学院 软件研究所邮政编码： 100871
招生信息
招生专业
081202-计算机软件与理论
招生方向
程序分析与验证，算法设计与分析安全漏洞协议检测
教育背景
1990-09--1993-06 北京师范大学数学系 博士1987-09--1990-06 北京师范大学数学系 硕士1980-09--1995-06 安徽师范大学数学系 学士
工作经历
工作简历
2002-03~2014-06,北京大学信息学院, 教授1993-09~2002-02,北京大学计算机系, 讲师，副教授1990-09~1993-06,北京师范大学数学系, 博士1987-09~1990-06,北京师范大学数学系, 硕士1985-09~1987-06,安徽师范大学数学系, 助教1980-09~1995-06,安徽师范大学数学系, 学士
专利与奖励
奖励信息
（1）&nbspDNA计算机相关理论与应用研究,&nbsp一等奖,&nbsp部委级,&nbsp2011
出版信息
发表论文
（1） Behavioural equivalences of a probabilistic pi-calculus., SCIENCE CHINA Information Sciences 55(9): P2031-2043, 2012, 第 3 作者（2） Value-passing CCS with noisy channels, Theor. Comput. Sci. 433: 43-59, 2012, 第 3 作者
发表著作
（ 1 ）&nbsp算法设计与分析, Design and Analysis of Algoriyhms, 清华大学出版社, 2011-05, 第 4 作者
科研活动
科研项目
（ 1 ）&nbsp基于分离逻辑的程序验证方法研究, 负责人, 国家任务, 2012-01--2015-12（ 2 ）&nbsp信息服务的构造与验证, 参与, 国家任务, 2010-01--2014-12
2013 中国科学院大学，网络信息中心.