Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Воан Пратт
VaughanPratt.JPG
Родившийся
Воан Рональд Пратт

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

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

Карьера [ править ]

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

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

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

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

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

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

Основные вклады [ править ]

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

Создание полезных инструментов [ править ]

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

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

Другие вклады [ править ]

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

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

Ссылки [ править ]

  1. ^ Vaughan Ronald Pratt: ShellSort и сортировки сетей . Garland Publishing, Inc., Нью-Йорк и Лондон, 1979, ISBN  0-8240-4406-1
  2. ^ Воан Пратт. У каждого прайма есть емкий сертификат. SIAM Journal on Computing , vol.4, pp.214–220. 1975. Цитаты , полнотекстовый (требуется платный логин)
  3. ^ Дональд Кнут, Джеймс Х. Моррис младший и Воан Пратт. Быстрое сопоставление с образцом в строках. SIAM Journal on Computing , 6 (2): 323–350. 1977. Цитаты.
  4. ^ Блюм, М .; Флойд, RW ; Пратт, В.Р . ; Ривест, Р.Л . ; Тарджан, Р. Э. (август 1973 г.). «Сроки выбора» (PDF) . Журнал компьютерных и системных наук . 7 (4): 448–461. DOI : 10.1016 / S0022-0000 (73) 80033-9 .
  5. ^ Пратт, В. Р., Приоритет операторов сверху вниз. Материалы симпозиума ACM по принципам языков программирования . 1973. pp41-51.
  6. ^ Джордж Дж. Карретт . Простой Pratt-Parser для SIOD . 1990 г.
  7. ^ https://github.com/douglascrockford/JSLint/blob/40e3f73127b56f24a12e5cb091a86d9a24130926/fulljslint.js строка исходного кода jslint 2224
  8. ^ Эрик Фишер. Emacs и другие редакторы . alt.folklore.computers. 15 ноября 2000 г.
  9. ^ Новости BBC. Серфинг на спичечном коробке . 1999 г.
  10. ^ Новости CNN. Самый маленький веб-сервер помещается в карман рубашки . 1999 г.
  11. ^ "Как ушибить целое число" Архивировано 7 октября 2008 г.в Wayback Machine , Байт, март 1995 г.
  12. ^ "Цепная реакция в Пентиумсе" , Vaughan Pratt, 1994. В WDV-notes334, 22 январь 1995. Статья отформатирована из телеконференции проводки: Vaughan Pratt (1994-12-30). " " ТЕХНИЧЕСКИЕ ХАРАКТЕРИСТИКИ: Цепная реакция в пентиумах (было: недостаток: данные, зараженные пентиумом) " " . Группа новостей :  comp.sys.intel . Usenet: [email protected] . Проверено 3 июня 2006 . 

Внешние ссылки [ править ]

  • Воан Пратт на проекте « Математическая генеалогия»
  • Домашняя страница факультета Стэнфордского университета
  • Страница с тезисами , с полнотекстовыми загрузками многих публикаций Пратта.
  • Дуглас Крокфорд проходит через создание синтаксического анализатора Pratt на JavaScript.