沃恩·普拉特
維基百科,自由的 encyclopedia
沃恩·普拉特(英語:Vaughan Pratt,1944年4月12日—)是一名澳大利亞計算機科學家,史丹佛大學名譽教授。自1969年以來,普拉特在搜尋演算法、排序演算法和質數測試等基礎領域做出多項貢獻。近期他的研究重點是並行系統和楚空間(英語:Chu space)的形式建模。
Quick Facts 沃恩·普拉特Vaughan Pratt, 出生 ...
沃恩·普拉特 Vaughan Pratt | |
---|---|
出生 | Vaughan Ronald Pratt (1944-04-12) 1944年4月12日(80歲) ![]() |
母校 | 雪梨大學 史丹佛大學 |
知名於 | KMP演算法 普拉特證明(英語:Primality certificate) 普拉特解析器(英語:Operator-precedence parser) |
網站 | boole |
科學生涯 | |
研究領域 | 計算機科學 |
機構 | 史丹佛大學 麻省理工學院 |
學術指導者 | 高德納 |
Close