Роберт С. Бойер - Robert S. Boyer

Роберт С. Бойер
Роберт С. Бойер
Национальность	Соединенные Штаты
Образование	Кандидат наук. в Математика
оккупация	Специалист в области информатики, математик
Работодатель	Техасский университет в Остине
Известен	Алгоритм поиска строки Бойера – Мура, Nqthm, ACL2

Роберт Стивен Бойер пенсионер профессор из Информатика, математика, и философия в Техасский университет в Остине. Он и Дж. Стротер Мур изобрел Алгоритм поиска строки Бойера – Мура, особенно эффективный алгоритм поиска строки в 1977 году. Он и Мур также работали над автоматическим доказательством теорем Бойера – Мура, Nqthm, в 1992 году.^[1] После этого он работал с Муром и Мэттом Кауфманном над другим средством доказательства теорем под названием ACL2.

Публикации

Бойер много опубликовал, в том числе следующие книги:

Справочник по вычислительной логике, с Дж. С. Муром. Второе издание. Академик Пресс, Лондон, 1998.
Автоматизированное рассуждение: очерки в честь Вуди Бледсо, редактор. Kluwer Academic, Дордрехт, Нидерланды, 1991.
Справочник по вычислительной логике, с Дж. С. Муром. Академик Пресс, Нью-Йорк, 1988.
Проблема корректности в информатике, редактор, с Дж. С. Муром. Академик Пресс, Лондон, 1981.
Вычислительная логика, с Дж. С. Муром. Academic Press, Нью-Йорк, 1979.