沃恩·普拉特

沃恩·普拉特（英语：Vaughan Pratt，1944年4月12日—）是一名澳大利亚计算机科学家，斯坦福大学名誉教授。自1969年以来，普拉特在搜寻算法、排序算法和质数测试等基础领域做出多项贡献。近期他的研究重点是并行系统和楚空间（英语：Chu space）的形式建模。

沃恩·普拉特 Vaughan Pratt
出生	Vaughan Ronald Pratt (1944-04-12) 1944年4月12日（81岁）  澳大利亚墨尔本
母校	雪梨大学 斯坦福大学
知名于	KMP算法 普拉特证明（英语：Primality certificate） 普拉特解析器（英语：Operator-precedence parser）
网站	boole.stanford.edu/pratt.html
科学生涯
研究领域	计算机科学
机构	斯坦福大学 麻省理工学院
学术指导者	高德纳

职业生涯

普拉特在澳大利亚长大，曾就读于诺克斯文法学校（英语：Knox Grammar School）。1970年，普拉特进入雪梨大学学习，并在那里完成硕士论文，该论文与现在的自然语言处理有关。随后他前往美国，在指导教授高德纳的指导下，仅用20个月就完成斯坦福大学的博士论文。他的论文重点分析希尔排序算法和排序网络（英语：Sorting network）^[1]。

普拉特曾任麻省理工学院助理教授（1972年—1976年）和副教授（1976年—1982年）。1974年，普拉特与高德纳和詹姆斯·H·莫里斯合作，完成他1970年在加利福尼亚大学柏克莱分校攻读研究生时开始的工作，并使之正规化；合作成果是KMP算法。1976年，他发展了动态逻辑（英语：Dynamic logic (modal logic)）系统，这是一种结构化行为的模态逻辑。

他从麻省理工学院到斯坦福大学休假（1980年—1981年），并于1981年被任命为斯坦福大学全职教授。

1980年至1982年，普拉特在斯坦福大学指导太阳工作站（英语：SUN workstation）计划。他以各种方式为太阳微系统公司的成立和早期运营做出贡献，在公司成立的第一年担任顾问，随后两年离开斯坦福大学，担任研究主管，最后于1985年重新担任太阳微系统公司顾问并返回斯坦福大学。

他还设计了太阳微系统公司的徽标^[2]，徽标上有四个交错的“sun”字样；这是一个双向图。

2000年，普拉特成为斯坦福大学荣誉教授。

主要贡献

许多著名的算法都以普拉特的名字命名。普拉特证明（英语：Primality certificate）是对一个数是否为质数的简短证明，它以一种实用的方式证明质数是可以有效验证的，将质数检定问题归入复杂度类NP，并首次有力地证明该问题并非共NP-完备（英语：co-NP-complete）^[3]。1970年代初，普拉特与斯坦福大学教授高德纳共同设计了KMP算法，该算法是詹姆斯·H·莫里斯独立设计的，至今仍是已知最高效的通用字串搜寻算法。^[4]。他与曼纽尔·布卢姆、罗伯特·弗洛伊德、罗纳德·李维斯特和罗伯特·塔扬一起描述中位数的中位数（英语：Median of medians），这是第一个最坏情况下的最佳选择算法^[5]。

打造实用工具

普拉特开发了一些有用的工具。1976年，他撰写一篇关于CGOL（英语：CGOL）的麻省理工学院人工智能实验室工作论文，CGOL是他根据自上而下的运算子优先级解析范式设计并实现的MACLISP的替代语法。^[6]。他的解析器有时被称为“普拉特解析器（英语：Operator-precedence parser）”^[7]，并被用于后来的系统中，如MACSYMA（英语：Macsyma）。道格拉斯·克罗克福特也将其用作JSLint的底层解析器^[8]。普拉特也实作了一个基于TECO（英语：TECO (text editor)）的文字编辑器，名为“DOC”，后来更名为“ZED”^[9]。

1999年，普拉特建立了当时世界上最小的网页服务器——只有火柴盒大小^[10][11]。

其他贡献

普拉特在1995年《字节（英语：Byte (magazine)）》杂志的一篇文章中指出，奔腾浮点除错误造成的后果可能比英特尔或IBM当时预测的还要严重^[12][13]。

如今的普拉特影响广泛。除了斯坦福大学的教授职位外，他还是至少七个专业组织的成员。他是美国计算机协会会士，也是三大数学期刊的编委。他也是TIQIT电脑公司 （页面存档备份，存于互联网档案馆）的创始人、董事长兼首席执行官，该公司于2010年关闭。