导师简介

屈婉玲教授
电子邮件qwl@pku.edu.cn
办公室理科楼1625
办公电话62765818
研究方向算法分析与计算复杂性

王捍贫教授
电子邮件whpxhy@pku.edu.cn
办公室理科楼1627
办公电话62765818
研究方向程序理论

许 进教授
电子邮件jxu@pku.edu.cn
办公室理科楼1627
办公电话62765818
研究方向生物信息学
图与组合优化

苏开乐教授
电子邮件sukl@pku.edu.cn
办公室理科楼1624
办公电话62765818
研究方向模型检测多智能体系统与安全协议验证
难解问题的算法与应用

陈一峰研究员
电子邮件cyf@pku.edu.cn
办公室理科楼1627
办公电话62765818
研究方向多核编程模型
面向对象语言
程序语言基础

于江生副教授
电子邮件yujs@pku.edu.cn
办公室理科楼1623
办公电话62765818
研究方向统计机器学习

刘 田 副教授
电子邮件lt@pku.edu.cn
办公室 理科楼1625
办公电话62765818
研究方向 算法分析与计算复杂性 量子信息处理

曹永知副教授
电子邮件caoyz@pku.edu.cn
办公室理科楼1624
办公电话62765818
主页http://162.105.81.246/yzcao
研究方向并发理论及应用

研究领域:
  • 算法设计与分析:
         近似算法

         生物信息学
  • 形式化方法:
         model checking
         Petri网
         构件与web服务验证
  • 量子信息

[NEW] Wiki

关于我们

研究方向

开设课程

科研成果

成员介绍

生活掠影

加入我们

讨论班信息
星期二
19:00--22:00
课题报告
星期四
09:00--11:30
星期五
09:00--11:30
量子信息学 
星期五
19:00--22:00
近似算法 
星期六
08:30--11:30
model checking
 
 
 
帐号
密码