我们每年春季开Petri Net的课，袁崇义老师讲课 )
计算复杂性
CAI
另外还有一个方向为形式语义及验证，
可以认为是计算机系统的形式化表示以及计算机程序的正确性证明
96(7?) 年度图灵奖得主 Amir Pnueli 从事的就是这方面的工作。
教师：
袁崇义 张立昂 屈婉玲 王捍贫 耿素云 赵丽琴 刘田
实验室主页：http://theory.cs.pku.edu.cn/
9、关于一些实验室的情况的说明
目前北大cs的实验室的条件是非常好的, 在理科1号楼, 这是刚建成使用的 . 机器也都非常好 ,dell机和方正联想的机器占大部分.
总之, 各个实验室的硬件条件是绝对 excellent了! 各个实验室的详细情况大杨绝对也没有介绍的必要，( 本来大杨打算发个系列文章介绍一下各个实验室的，后来觉得没这个必要, 这个 plan 就被cancel掉了).
另外
北大的官方网站是 www.pku.edu.cn
咱们系的网战是 www.cs.pku.edu.cn
咱们系的 ftp 是 :ftp.cs.pku.edu.cn
10、计算机系大牛老师（一）
在介绍各个实验室之前，大杨先介绍 一下咱们系比较牛的老师，也就是我们常称 之为大牛的那种跟着他会很有前途的老师。
首先是咱们的系主任李晓明老师，这是 位留美归国人员，曾在国外任教多年，业务上应该不错，从大杨跟李老师接触的几次看， 李老师非常平易近人，在网络那边，如果您 要是报考网络方向的话，估计要跟着李老师干了。
其次是陈钟教授，科研上有成绩，开公司也做的有声有色，胖胖的，常常西装革履，很有新一代教授的风范。他的科研方向是软件工程方法、技术、工具与环境，面向领域的应用平台技术，系统软件高可用性，OLTP/OLAP，金融电子化与商业自动化，信息安全与自动化，获得的奖励也不少，1991年“七．五”科技攻关重大成果奖个人荣誉证书，1995年 北京市优 秀教师，1996年第五届中国青年科技奖，1996年电子部科技进步特等奖，并且是寰宇公司的头，当年的严打中的网上追逃就是他们做的，他们跟公安部门合作的比较多，若报考信息安全方面是很有前途的。
11、计算机系大牛老师(二)
程旭老师，无论本科还是研究生都要听程老师的课，按理来说程老师的课很难，但大家却非常喜欢，因为程老师讲的特别棒，程老师所给人的那种国家兴亡，匹夫有责以及紧张有序的身教和步步紧扣，逻辑鲜明的授课的言传，给人的印象特别深。程老师是忙碌的。他所在的体系结构实验室一直被我们本科的时候推举为最有意义的实验室。他们在搞自己的 CPU ，并且据他们实验室的同学说他们已经搞出了一整套软硬件，都是独立自主开发的，记得那次跟那里一个同学聊天，他告诉我他正在做一个在他们自己硬件上跑的俄罗斯方块。不过体系结构实验室也是非常累的，我们寝室有一体系那边的同学，他告诉我一个 有意思的笑话，有一次他们碰见了一个师姐觉得有点认不出来了，因为比几个月以前整整瘦了一圈，一问才知道原来该师姐到体系实验室呆了几个月。对硬件比较感兴趣，可以去体系，对软件很感兴趣也可以去体系，如果你想做有意义的事情，那就去体系。
梅宏老师，曾经听过他的高级程序设计语言概论，说实话，课讲的不怎么样，因为他上课的时候总是觉得他好象很累的样子，好象几天没睡，不过这后来在他的弟子那里得到了验证，梅宏老师的确很忙，通宵熬夜是通宵的事情，梅宏老师在科研上是很有一手的，所以位列我系四大牛人之一（这四大牛人只对比较年轻的老师来说，并没有把年龄相对大些的我们系的前辈包括在内，四大牛人也就是前面大杨介绍的这四位），获得过1996年电子工业部科技进步特等奖（排9名），国家“八五”科技攻关电子行业先进个人，1997年中创软件人才奖。英特尔实验室的头就是梅老师。