Воан Пратт (родился 12 апреля 1944 года) — почетный профессор Стэнфордского университета , пионер в области информатики . С 1969 года Пратт внес несколько вкладов в такие основополагающие области, как алгоритмы поиска , алгоритмы сортировки и тестирование на простоту . Совсем недавно его исследования были сосредоточены на формальном моделировании параллельных систем и пространств Чу .
Выросший в Австралии и получивший образование в гимназии Нокса , где он учился в 1961 году, Пратт учился в Сиднейском университете , где в 1970 году защитил магистерскую диссертацию, связанную с тем, что сейчас известно как обработка естественного языка . Затем он отправился в Соединенные Штаты, где защитил докторскую диссертацию. диссертацию в Стэнфордском университете всего за 20 месяцев под руководством консультанта Дональда Кнута . Его диссертация была посвящена анализу алгоритма сортировки Shellsort и сортировочных сетей . [1]
Пратт был доцентом Массачусетского технологического института (с 1972 по 1976 год), а затем доцентом (с 1976 по 1982 год). В 1974 году, работая в сотрудничестве с Кнутом и Джеймсом Х. Моррисом , Пратт завершил и формализовал работу, которую он начал в 1970 году, будучи аспирантом Беркли ; соавторским результатом стал алгоритм сопоставления с образцом Кнута-Морриса-Пратта . В 1976 году он разработал систему динамической логики — модальной логики структурированного поведения.
Он ушел из Массачусетского технологического института в Стэнфорд (с 1980 по 1981 год) и был назначен профессором Стэнфорда в 1981 году.
Пратт руководил проектом рабочей станции SUN в Стэнфорде с 1980 по 1982 год. Он внес разнообразный вклад в основание и начало работы Sun Microsystems , выступая в роли консультанта в течение первого года ее существования, затем взяв отпуск в Стэнфорде на следующие два года, став директором по исследованиям и, наконец, возобновив свою роль консультанта Sun и вернувшись в Стэнфорд в 1985 году.
Он также разработал логотип Sun Microsystems , [2] который представляет собой четыре чередующихся копии слова «солнце» ; это амбиграмма .
