J. Strother Moore
 | Esta biografía de una persona viva necesita citas adicionales para su verificación . ( febrero de 2013 ) |
J. Strother Moore | |
|---|---|
 Moore en 2006 | |
| Nacionalidad | Americano |
| Educación | Instituto Tecnológico de Massachusetts ( BS ) Universidad de Edimburgo ( PhD ) |
| Ocupación | Científico informático |
| Conocido por | Algoritmo de búsqueda de cadenas de Boyer-Moore Algoritmo de votación mayoritaria de Boyer-Moore Nqthm |
| Premios | Premio Herbrand (1999) Premio ACM al sistema de software (2005) |
| Sitio web | www.cs.utexas.edu/users/moore/ |
J Strother Moore (su primer nombre es el carácter alfabético "J" - no una "J" abreviada.) es un científico informático estadounidense . Es co-desarrollador del algoritmo de búsqueda de cadenas Boyer-Moore , el algoritmo de voto mayoritario Boyer-Moore y el demostrador automático de teoremas Boyer-Moore, Nqthm . Hizo contribuciones pioneras al uso compartido de estructuras, incluyendo la estructura de datos de tabla de piezas y la programación lógica temprana . Un ejemplo del funcionamiento del algoritmo de búsqueda de cadenas Boyer-Moore se da en el sitio web de Moore. Moore recibió su Licenciatura en Ciencias (BS) en matemáticas en el Instituto Tecnológico de Massachusetts en 1970 y su Doctorado en Filosofía (Ph.D.) [1] en lógica computacional en la Universidad de Edimburgo en Escocia en 1973. [2]
Además, Moore es coautor del demostrador de teoremas automatizado ACL2 y sus predecesores, incluido Nqthm , por el que recibió, junto con Robert S. Boyer y Matt Kaufmann, el premio ACM Software System Award 2005. Él y otros utilizaron ACL2 para demostrar la corrección de las operaciones de división de punto flotante del microprocesador AMD K5 a raíz del error FDIV de Pentium .
Por sus contribuciones a la deducción automática , Moore recibió el premio Herbrand en 1999 junto con Robert S. Boyer , [3] y en 2006 fue incluido como miembro de la Association for Computing Machinery . Moore fue elegido miembro de la Academia Nacional de Ingeniería en 2007 por sus contribuciones al razonamiento automatizado sobre sistemas informáticos. También es miembro de la AAAI. [4] Fue elegido miembro correspondiente de la Royal Society de Edimburgo en 2015. [5]
Actualmente es titular de la Cátedra Centenario Almirante BR Inman en Teoría de la Computación en la Universidad de Texas en Austin , y fue presidente del Departamento de Ciencias de la Computación entre 2001 y 2009.
Antes de unirse al Departamento de Ciencias de la Computación como presidente, formó una empresa, Computational Logic Inc., junto con otros, incluido su amigo cercano de la Universidad de Texas en Austin y uno de los profesores más respetados en el campo del razonamiento automatizado , Robert S. Boyer.
A Moore le gusta la escalada en roca . [6]
Véase también
Referencias
- ^ Disponible en el Archivo de Investigación de Edimburgo.
- ^ "Página de inicio de J Moore, página de educación" . Consultado el 26 de mayo de 2009 .
- ^ "Premio Herbrand por contribuciones destacadas al razonamiento automatizado". CADE Inc. Consultado el 8 de agosto de 2022 .
- ^ "Página de inicio de J Moore, sección de biografía" . Consultado el 7 de octubre de 2014 .
- ^ "Profesor J Moore - Royal Society of Edinburgh". The Royal Society of Edinburgh . Consultado el 8 de agosto de 2022 .
- ^ "Página de inicio de J Moore, sección de intereses" . Consultado el 22 de agosto de 2008 .
Enlaces externos
- Sitio web oficial
- "Mis" mejores ideas (de la página de inicio de J Strother Moore)
- Algoritmo de búsqueda rápida de cadenas de Boyer-Moore
- Máquinas Razonando sobre máquinas, charla de J Strother Moore dada en la EPFL en 2011, que ofrece una descripción general de algunos de sus trabajos
 | Este artículo biográfico sobre un especialista en informática de los Estados Unidos es un esbozo . Puedes ayudar a Wikipedia expandiéndolo. |
