理论计算研究室 研究方向 理论计算研究室致力于计算机科学理论的研究，主要研究方向包括：算法设计与分析，计算复杂性，软件建模与验证，计算机逻辑，生物计算等。 研究人员 姓名 职称/称号 邮件 王捍贫 教授，室主任 whpxhy AT pku.edu.cn 曹永知 教授 caoyz AT pku.edu.cn 陈一峯 研究员 cyf AT pku.edu.cn 许进 教授 jxu AT pku.edu.cn 刘田 副教授 lt AT pku.edu.cn 张成 副教授 zhangcheng369 AT pku.edu.cn
