Роберт Стивен Бойер является отставной профессор из информатики , математики и философии в Университете штата Техас в Остине . Он и J Strother Мур изобрел Бойер-Мура строка алгоритм поиска , особенно эффективный в алгоритм струна испытующе , в 1977 году , и Мур также сотрудничал на Бойер-Мура автоматизирован теорема расстойки, Nqthm , в 1992 году [1] После этого он работал с Муром и Мэттом Кауфманном над другим средством доказательства теорем под названием ACL2 .
Роберт С. Бойер | |
---|---|
Национальность | Соединенные Штаты |
Образование | Кандидат наук. по математике |
Занятие | Ученый-компьютерщик , математик |
Работодатель | Техасский университет в Остине |
Известен | Алгоритм поиска строки Бойера – Мура , Nqthm , ACL2 |
Публикации
Бойер много опубликовал, в том числе следующие книги:
- Справочник по вычислительной логике , совместно с Дж. С. Муром. Второе издание. Академик Пресс, Лондон, 1998.
- Автоматизированное рассуждение: Очерки в честь Вуди Бледсо , редактора. Kluwer Academic, Дордрехт, Нидерланды, 1991.
- Справочник по вычислительной логике , совместно с Дж. С. Муром. Академик Пресс, Нью-Йорк, 1988.
- Проблема корректности в информатике , редактор, с Дж. С. Муром. Академик Пресс, Лондон, 1981.
- Вычислительная логика , с Дж. С. Муром. Academic Press, Нью-Йорк, 1979.
Смотрите также
Рекомендации
- ^ "Nqthm, доказатель Бойера-Мура" . Проверено 21 апреля 2006 . CS1 maint: обескураженный параметр ( ссылка )
Внешние ссылки
- Домашняя страница Роберта С. Бойера . По состоянию на 18 февраля 2016 г.
- Техасский университет, Колледж гуманитарных наук с отличием, вышедший на пенсию факультет - 2008 . По состоянию на 21 марта 2009 г.
- Роберт Стивен Бойер в проекте « Математическая генеалогия»