Воан Пратт - Vaughan Pratt
Воан Пратт | |
---|---|
Родился |
Воан Рональд Пратт
12 апреля 1944 г. |
Образование |
Стэнфордский университет (1972 г.) Сиднейский университет (1970 г.) |
Известен |
Алгоритм Кнута – Морриса – Пратта Сертификат Пратта Анализатор Пратта |
Научная карьера | |
Поля | Информатика |
Учреждения |
Стэнфордский университет MIT |
Академические консультанты | Дональд Кнут |
Веб-сайт | логический |
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 году.
использованная литература
внешние ссылки
- Воан Пратт на проекте « Математическая генеалогия»
- Домашняя страница факультета Стэнфордского университета
- Страница с тезисами , с полнотекстовыми загрузками многих публикаций Пратта.
- Дуглас Крокфорд проходит через создание синтаксического анализатора Pratt на JavaScript.