沃恩·普拉特
沃恩·普拉特(英語:,1944年4月12日—)是一名澳大利亞計算機科學家,史丹佛大學名譽教授。自1969年以來,普拉特在搜尋演算法、排序演算法和質數測試等基礎領域做出多項貢獻。近期他的研究重點是並行系統和楚空間的形式建模。
沃恩·普拉特 Vaughan Pratt | |
---|---|
出生 | Vaughan Ronald Pratt 1944年4月12日 墨爾本 |
母校 | 雪梨大學 史丹佛大學 |
知名于 | KMP演算法 普拉特證明 普拉特解析器 |
网站 | boole |
科学生涯 | |
研究领域 | 計算機科學 |
机构 | 史丹佛大學 麻省理工學院 |
学术指导者 | 高德納 |
職業生涯
普拉特在澳大利亞長大,曾就讀於諾克斯文法學校。1970年,普拉特進入雪梨大學學習,並在那裡完成碩士論文,該論文與現在的自然語言處理有關。隨後他前往美國,在指導教授高德納的指導下,僅用20個月就完成史丹佛大學的博士論文。他的論文重點分析希爾排序演算法和排序網路[1]。
普拉特曾任麻省理工學院助理教授(1972年—1976年)和副教授(1976年—1982年)。1974年,普拉特與高德納和詹姆斯·H·莫里斯合作,完成他1970年在加利福尼亞大學柏克萊分校攻讀研究生時開始的工作,並使之正規化;合作成果是KMP演算法。1976年,他發展了動態邏輯系統,這是一種結構化行為的模態邏輯。
他從麻省理工學院到史丹佛大學休假(1980年—1981年),並於1981年被任命為史丹佛大學全職教授。
1980年至1982年,普拉特在史丹佛大學指導太陽工作站計畫。他以各種方式為昇陽電腦公司的成立和早期運營做出貢獻,在公司成立的第一年擔任顧問,隨後兩年離開史丹佛大學,擔任研究主管,最後於1985年重新擔任昇陽電腦公司顧問並返回史丹佛大學。
他還設計了昇陽電腦公司的徽標[2],徽標上有四個交錯的「sun」字樣;這是一個雙向圖。
2000年,普拉特成為史丹佛大學榮譽教授。
主要貢獻
許多著名的演算法都以普拉特的名字命名。普拉特證明是對一個數是否為質數的簡短證明,它以一種實用的方式證明質數是可以有效驗證的,將質數檢定問題歸入複雜度類NP,並首次有力地證明該問題並非共NP-完備[3]。1970年代初,普拉特與史丹佛大學教授高德納共同設計了KMP演算法,該演算法是詹姆斯·H·莫里斯獨立設計的,至今仍是已知最高效的通用字串搜尋演算法。[4]。他與曼紐爾·布盧姆、羅伯特·弗洛伊德、羅納德·李維斯特和羅伯特·塔揚一起描述中位數的中位數,這是第一個最壞情況下的最佳選擇演算法[5]。
參考資料
- Vaughan Ronald Pratt: Shellsort and Sorting Networks. Garland Publishing, Inc., New York & London, 1979, ISBN 0-8240-4406-1
- . Logobook. [2021-08-07]. (原始内容存档于2020-08-09) (英语).
- Vaughan Pratt. Every prime has a succinct certificate. SIAM Journal on Computing, vol.4, pp.214–220. 1975. Citations (页面存档备份,存于), Full-text (页面存档备份,存于) (requires paid login)
- Donald Knuth, James H. Morris, Jr., and Vaughan Pratt. Fast pattern matching in strings. SIAM Journal on Computing, 6(2):323–350. 1977. Citations (页面存档备份,存于)
- Blum, M.; Floyd, R. W.; Pratt, V. R.; Rivest, R. L.; Tarjan, R. E. (PDF). Journal of Computer and System Sciences. August 1973, 7 (4): 448–461 [2024-02-10]. doi:10.1016/S0022-0000(73)80033-9 . (原始内容存档 (PDF)于2019-03-31).
- Pratt, V.R., Top Down Operator Precedence. Proceedings of the ACM Symposium on Principles of Programming Languages. 1973. pp41-51.
- George J. Carrette A simple Pratt-Parser (页面存档备份,存于) for SIOD. 1990.
- https://github.com/douglascrockford/JSLint/blob/40e3f73127b56f24a12e5cb091a86d9a24130926/fulljslint.js jslint source code line 2224
- Eric Fischer. Emacs and Other Editors (页面存档备份,存于). alt.folklore.computers. November 15, 2000.
- BBC News.Surfing on a matchbox (页面存档备份,存于). 1999.
- CNN News. Smallest Web server fits in shirt pocket (页面存档备份,存于). 1999.
- "How to Bruise an Integer" 的存檔,存档日期2008-10-07., Byte, March 1995.
- "Chain Reaction in Pentiums" (页面存档备份,存于), Vaughan Pratt, 1994. In wdv-notes334, 22 Jan, 1995. Article is formatted from a newsgroup posting: Vaughan Pratt. . Newsgroup: comp.sys.intel. 1994-12-30 [2006-06-03]. Usenet: 3e097i$952@Radon.Stanford.EDU. (原始内容存档于2012-11-04).
外部連結
- 沃恩·普拉特在數學譜系計畫的資料。
- Faculty home page at Stanford University (页面存档备份,存于)
- Abstract page (页面存档备份,存于), with full-text downloads of many of Pratt's publications.
- Douglas Crockford walks through creating a Pratt parser in JavaScript. (页面存档备份,存于)