Дж. Стротер Мур - J Strother Moore - Wikipedia
Этот биография живого человека требует дополнительных цитаты за проверка.Февраль 2013) (Узнайте, как и когда удалить этот шаблон сообщения) ( |
Дж. Стротер Мур (его имя - буквенная буква «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., наряду с другими, включая его близкого друга из Техасского университета в Остине и одного из уважаемых профессоров в области автоматическое рассуждение, Роберт С. Бойер.
Смотрите также
Рекомендации
- ^ Доступно на Эдинбургский исследовательский архив.
- ^ «Домашняя страница Дж. Мура, образовательная страница». Получено 2009-05-26.
- ^ "Домашняя страница Дж. Мура, раздел биографии". Получено 2014-10-07.
- ^ "Профессор Дж. Стротер Мур CorrFRSE - Королевское общество Эдинбурга". Королевское общество Эдинбурга. Получено 2018-01-09.
- ^ "Домашняя страница Дж. Мура, раздел интересов". Получено 2008-08-22.
внешняя ссылка
- Официальный веб-сайт
- "Мои" лучшие идеи (с домашней страницы Дж. Стротера Мура)
- Алгоритм быстрого поиска строки Бойера – Мура
- Машины рассуждают о машинах, выступление Дж. Стротера Мура на EPFL в 2011 году, давая обзор некоторых из его работ
Эта биографическая статья, относящаяся к специалисту по компьютерам в Соединенных Штатах, является заглушка. Вы можете помочь Википедии расширяя это. |