Дж. Стротер Мур - Википедия - J Strother Moore

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

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

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

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

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

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

Мур любит альпинизм.[5]

Смотрите также

Рекомендации

  1. ^ Доступно на Эдинбургский исследовательский архив.
  2. ^ «Домашняя страница Дж. Мура, образовательная страница». Получено 2009-05-26.
  3. ^ "Домашняя страница Дж. Мура, раздел биографии". Получено 2014-10-07.
  4. ^ "Профессор Дж. Стротер Мур CorrFRSE - Королевское общество Эдинбурга". Королевское общество Эдинбурга. Получено 2018-01-09.
  5. ^ "Домашняя страница Дж. Мура, раздел интересов". Получено 2008-08-22.

внешняя ссылка