Jump to content

Джей Стротер Мур

Джей Стротер Мур
Мур в 2006 году
Национальность Американский
Образование Массачусетский технологический институт ( BS )
Эдинбургский университет ( доктор философии )
Занятие Ученый-компьютерщик
Известный Алгоритм поиска строк Бойера – Мура
Алгоритм большинства голосов Бойера-Мура
Нктм
Награды Премия Эрбрана (1999)
Премия ACM Software System (2005)
Веб-сайт www .cs .utexas .edu /пользователи /мур /

Джей Стротер Мур (его имя — буквенная буква «J», а не сокращенная «J») — американский учёный-компьютерщик . Он является соавтором алгоритма поиска строк Бойера-Мура , алгоритма большинства голосов Бойера-Мура и автоматизированного средства доказательства теорем Бойера-Мура Nqthm . Он внес новаторский вклад в совместное использование структур, включая структуру данных таблицы частей и раннее логическое программирование . Пример работы алгоритма поиска строк Бойера-Мура приведен на сайте Мура . Мур получил степень бакалавра наук (BS) по математике в Массачусетском технологическом институте в 1970 году и степень доктора философии (Ph.D.). [1] в области вычислительной логики в Эдинбургском университете в Шотландии в 1973 году. [2]

Кроме того, Мур является соавтором автоматизированного средства доказательства теорем ACL2 и его предшественников, включая Nqthm , за что он получил вместе с Робертом С. Бойером и Мэттом Кауфманном премию ACM Software System Award 2005 года . Он и другие использовали ACL2, чтобы доказать правильность операций деления с плавающей запятой AMD K5 микропроцессора после ошибки Pentium FDIV .

За свой вклад в автоматизацию дедукции Мур получил в 1999 году Премию Эрбрана вместе с Робертом С. Бойером . [3] а в 2006 году он был назначен членом Ассоциации вычислительной техники . Мур был избран членом Национальной инженерной академии в 2007 году за вклад в автоматизированные рассуждения о вычислительных системах. Он также является членом AAAI. [4] В 2015 году он был избран членом-корреспондентом Королевского общества Эдинбурга . [5]

В настоящее время он является адмирала Б. Р. Инмана заведующим кафедрой теории вычислений имени в Техасском университете в Остине и заведующим кафедрой компьютерных наук с 2001 по 2009 год.

Прежде чем стать заведующим кафедрой компьютерных наук, он основал компанию Computational Logic Inc. вместе с другими, включая своего близкого друга из Техасского университета в Остине и одного из уважаемых профессоров в области автоматизированного мышления Роберта. С. Бойер.

Мур увлекается скалолазанием . [6]

См. также

[ редактировать ]
  1. ^ Доступно в Эдинбургском исследовательском архиве .
  2. ^ «Домашняя страница Дж. Мура, страница образования» . Проверено 26 мая 2009 г.
  3. ^ «Премия Эрбрана за выдающийся вклад в автоматизированное мышление» . КЕЙД Инк . Проверено 8 августа 2022 г.
  4. ^ «Домашняя страница Дж. Мура, раздел биографии» . Проверено 7 октября 2014 г.
  5. ^ «Профессор Дж. Мур - Королевское общество Эдинбурга» . Королевское общество Эдинбурга . Проверено 08 августа 2022 г.
  6. ^ «Домашняя страница Дж. Мура, раздел интересов» . Проверено 22 августа 2008 г.
[ редактировать ]


Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 4691e9b87a308cdd4743374d4184a0b4__1712584020
URL1:https://arc.ask3.ru/arc/aa/46/b4/4691e9b87a308cdd4743374d4184a0b4.html
Заголовок, (Title) документа по адресу, URL1:
J Strother Moore - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)