Robert Stephen Boyer es profesor jubilado de informática , matemáticas y filosofía en la Universidad de Texas en Austin . Él y J Strother Moore inventó el algoritmo de Boyer-Moore cadena de búsqueda , una particularmente eficiente algoritmo de búsqueda de cadenas , en 1977. Él y Moore también colaboraron en el Boyer-Moore demostrador de teoremas automatizado, Nqthm , en 1992. [1] Después de esto, trabajó con Moore y Matt Kaufmann en otro demostrador de teoremas llamado ACL2 .
Robert S. Boyer | |
---|---|
Nacionalidad | Estados Unidos |
Educación | Doctor. en Matemáticas |
Ocupación | Informático , matemático |
Empleador | La Universidad de Texas en Austin |
Conocido por | Algoritmo de búsqueda de cadenas de Boyer-Moore , Nqthm , ACL2 |
Publicaciones
Boyer ha publicado extensamente, incluidos los siguientes libros:
- Un manual de lógica computacional , con J S. Moore. Segunda edicion. Academic Press, Londres, 1998.
- Razonamiento automatizado: ensayos en honor a Woody Bledsoe , editor. Kluwer Academic, Dordrecht, Países Bajos, 1991.
- Un manual de lógica computacional , con J S. Moore. Academic Press, Nueva York, 1988.
- The Correctness Problem in Computer Science , editor, con J S. Moore. Academic Press, Londres, 1981.
- Una lógica computacional , con J S. Moore. Academic Press, Nueva York, 1979.
Ver también
Referencias
- ^ "Nqthm, el probador de Boyer-Moore" . Consultado el 21 de abril de 2006 .
enlaces externos
- Página de inicio de Robert S. Boyer . Consultado el 18 de febrero de 2016.
- Facultad jubilada con honores de la Facultad de artes liberales de la Universidad de Texas - 2008 . Consultado el 21 de marzo de 2009.
- Robert Stephen Boyer en el Proyecto de genealogía matemática