研究方向
理论计算研究室致力于计算机科学理论的研究，主要研究方向包括：算法设计与分析，计算复杂性，软件建模与验证，计算机逻辑，生物计算等。
研究人员
姓名
职称/称号
邮件
王捍贫
教授，室主任
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
