Дж. Стротер Мур - Википедия - 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]