Роберт С. Бойер

Эта статья о профессоре информатики. Чтобы узнать о других людях, см. Роберт Бойер (значения) .

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

Роберт Стивен Бойер американский профессор информатики , — математики и философии на пенсии в Техасском университете в Остине . Он и Дж. Стротер Мур изобрели алгоритм поиска строк Бойера-Мура , особенно эффективный алгоритм поиска строк , в 1977 году. Он и Мур также сотрудничали в автоматизированном средстве доказательства теорем Бойера-Мура, Nqthm , в 1992 году. После этого он работал с Муром и Мэттом Кауфманном над другим средством доказательства теорем под названием ACL2 . он был избран членом AAAI . В 1991 году

Публикации

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

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

См. также

• Алгоритм большинства голосов Бойера-Мура
• Это манифест

Внешние ссылки

• Домашняя страница Роберта С. Бойера . По состоянию на 18 февраля 2016 г.
• Техасский университет, факультет гуманитарных наук с отличием, пенсионер, 2008 г. По состоянию на 21 марта 2009 г.
• Роберт Стивен Бойер в проекте «Математическая генеалогия»