Dawson Engler

斯坦福大学(副)教授，主要研究软件bug的自动发现，比如静态分析等。
主页在这里： http://www.stanford.edu/~engler/
里面有很多他的文章可以下载，我心怀景仰的下载了几篇，基本看不懂。 :(

他使用自创的工具在Linux Kernel上曾经发现具多的bug，通常一个邮件丢到邮件群组，宣布发现多少多少bug，这里可以找到当时的邮件存档：  http://www.uwsg.iu.edu/hypermail/linux/kernel/0105.3/index.html
后来他和他的学生成立了一个公司Coverity推广他的工具，可惜收费。

似乎他有个学生来自清华，Junfeng Yang，也很牛，在OSDI (Operating Systems Design and Implemention)发了两篇。