Джей Стротер Мур
Джей Стротер Мур | |
---|---|
Национальность | Американский |
Образование | Массачусетский технологический институт ( BS ) Эдинбургский университет ( доктор философии ) |
Занятие | Ученый-компьютерщик |
Известный | Алгоритм поиска строк Бойера – Мура Алгоритм большинства голосов Бойера-Мура Нктм |
Награды | Премия Эрбрана (1999) Премия ACM Software System (2005) |
Веб-сайт | www |
Джей Стротер Мур (его имя — буквенная буква «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]
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Доступно в Эдинбургском исследовательском архиве .
- ^ «Домашняя страница Дж. Мура, страница образования» . Проверено 26 мая 2009 г.
- ^ «Премия Эрбрана за выдающийся вклад в автоматизированное мышление» . КЕЙД Инк . Проверено 8 августа 2022 г.
- ^ «Домашняя страница Дж. Мура, раздел биографии» . Проверено 7 октября 2014 г.
- ^ «Профессор Дж. Мур - Королевское общество Эдинбурга» . Королевское общество Эдинбурга . Проверено 08 августа 2022 г.
- ^ «Домашняя страница Дж. Мура, раздел интересов» . Проверено 22 августа 2008 г.
Внешние ссылки
[ редактировать ]- Официальный сайт
- «Мои» лучшие идеи (с домашней страницы Дж. Стротера Мура)
- Алгоритм быстрого поиска строк Бойера – Мура
- «Машины, рассуждающие о машинах» , выступление Дж. Стротера Мура, сделанное на EPFL в 2011 году, с обзором некоторых его работ.
- Американские ученые-компьютерщики
- Формальные методы люди
- Выпускники Школы наук Массачусетского технологического института
- Выпускники Эдинбургского университета
- Техасский университет на факультете Остина
- Члены Ассоциации вычислительной техники 2006 г.
- Члены Ассоциации развития искусственного интеллекта
- Живые люди
- Члены Национальной инженерной академии США
- Незавершенные статьи об американских компьютерных специалистах