Воан Пратт - Vaughan Pratt

Воан Пратт
VaughanPratt.JPG
Родился
Воан Рональд Пратт

( 1944-04-12 )12 апреля 1944 г. (77 лет)
Образование Стэнфордский университет (1972 г.)
Сиднейский университет (1970 г.)
Известен Алгоритм Кнута – Морриса –
Пратта Сертификат
Пратта Анализатор Пратта
Научная карьера
Поля Информатика
Учреждения Стэнфордский университет
MIT
Академические консультанты Дональд Кнут
Веб-сайт логический .stanford .edu / pratt .html

Vaughan Pratt (родился 12 апреля 1944) является заслуженным профессором в Стэнфордском университете , который был пионером в области компьютерной науки . Начиная с 1969 года, Pratt сделал несколько вкладов в фундаментальных областях , таких как алгоритмы поиска , алгоритмов сортировки и проверки простоты чисел . В последнее время его исследования были сосредоточены на формальном моделировании параллельных систем и пространств Чу .

Карьера

Выросший в Австралии и получил образование в Knox Grammar School , где он был дих в 1961 году, Pratt посетил Сиднейский университет , где он закончил свою магистерскую диссертацию в 1970 году, связанный с тем, что теперь известно как обработка естественного языка . Затем он уехал в США, где защитил докторскую диссертацию. защитил диссертацию в Стэнфордском университете всего за 20 месяцев под руководством научного руководителя Дональда Кнута . Его диссертация была посвящена анализу алгоритма сортировки Shellsort и сетей сортировки .

Пратт был доцентом Массачусетского технологического института (1972–1976), а затем доцентом (1976–1982). В 1974 году, работая в сотрудничестве с Кнутом и Моррисом , Пратт завершил и формализовал работу, которую начал в 1970 году в качестве аспиранта в Беркли ; Результатом совместной работы стал алгоритм сопоставления с образцом Кнута – Морриса – Пратта . В 1976 году он разработал систему динамической логики , модальную логику структурированного поведения.

Он ушел в творческий отпуск из Массачусетского технологического института в Стэнфорд (с 1980 по 1981 год), а в 1981 году был назначен профессором Стэнфорда.

Пратт руководил проектом рабочей станции SUN в Стэнфорде с 1980 по 1982 год. Он разными способами способствовал созданию и началу работы Sun Microsystems , выступая в роли консультанта в течение первого года, а затем взяв отпуск в Стэнфорде на время работы. следующие два года, став директором по исследованиям и, наконец, возобновив свою роль консультанта Sun и вернувшись в Стэнфорд в 1985 году.

Он также разработал логотип Sun Microsystems , на котором изображены четыре чередующихся копии слова «солнце» ; это амбиграмма .

Пратт стал почетным профессором Стэнфорда в 2000 году.

Основные вклады

Многие известные алгоритмы носят имя Пратта. Сертификаты Пратта , короткие доказательства простоты числа, продемонстрировали на практике, что простота может быть эффективно проверена, поместив проблему проверки на простоту в класс сложности NP и предоставив первое убедительное свидетельство того, что проблема не является NP-полной. . Кнут-Морриса-Пратта алгоритм , который Pratt разработан в начале 1970 - х годов вместе с коллегами Стэнфордского профессора Дональда Кнута и независимо от Морриса , по- прежнему является наиболее эффективным общая строка алгоритм поиска , известный сегодня. Вместе с Блюмом , Флойдом , Ривестом и Тарьяном он описал медианное значение медиан , первый алгоритм оптимального выбора наихудшего случая .

Сборка полезных инструментов

Пратт создал несколько полезных инструментов. В 1976 году он написал рабочий документ MIT AI Lab о CGOL , альтернативном синтаксисе для MACLISP, который он разработал и реализовал на основе своей парадигмы синтаксического анализа приоритета операторов сверху вниз. Его синтаксический анализатор иногда называют " синтаксическим анализатором Пратта " и использовался в более поздних системах, таких как MACSYMA . Дуглас Крокфорд также использовал его в качестве базового парсера для JSLint . Пратт также реализовал основанный на TECO текстовый редактор под названием «DOC», который позже был переименован в «ZED».

В 1999 году Пратт построил самый маленький (на то время) веб-сервер в мире - размером со спичечный коробок.

Прочие взносы

В статье журнала Byte 1995 года Пратту указали, что он предположил, что ошибка Pentium FDIV может иметь худшие последствия, чем Intel или IBM предсказывали в то время.

Сегодня Пратт имеет широкое влияние. Помимо должности профессора Стэнфордского университета, он является членом как минимум семи профессиональных организаций. Он является членом Ассоциации вычислительной техники и членом редколлегии трех крупных математических журналов. Он также был основателем, председателем и техническим директором TIQIT Computers, Inc. в течение десяти лет до того, как она закрыла свои двери в 2010 году.

использованная литература

внешние ссылки