J Strother Moore
J Strother Moore (su primer nombre es el carácter alfabético "J", no una "J" abreviada) es un científico informático . Es co-desarrollador del algoritmo de búsqueda de cadenas de Boyer-Moore, el algoritmo de voto mayoritario de Boyer-Moore y el probador de teoremas automatizado de Boyer-Moore, Nqthm . Hizo contribuciones pioneras en el intercambio de estructuras, incluida la estructura de datos de la tabla de piezas y la programación lógica temprana . En el sitio web de Moore se proporciona un ejemplo del funcionamiento del algoritmo de búsqueda de cadenas de Boyer-Moore . Moore recibió su Licenciatura en Ciencias (SB) en matemáticas en el Instituto de Tecnología 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 probador de teoremas automatizado ACL2 y sus predecesores, incluido Nqthm , por el cual recibió, junto con Robert S. Boyer y Matt Kaufmann, el premio ACM Software System Award 2005 . Él y otros utilizaron ACL2 para probar la exactitud de las operaciones de división de coma flotante del microprocesador AMD K5 a raíz del error Pentium FDIV .
Por sus contribuciones a la deducción automatizada , Moore recibió el premio Herbrand de 1999 con Robert S. Boyer , y en 2006 fue incluido como miembro de la Asociación de Maquinaria Informática . 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 Fellow de la AAAI. [3] Fue elegido miembro correspondiente de la Royal Society of Edinburgh en 2015. [4]
Actualmente ocupa la Cátedra Admiral BR Inman Centennial 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 de 2001 a 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 en la Universidad de Texas en Austin y uno de los profesores más respetados en el campo del razonamiento automatizado , Robert S. Boyer.
Este artículo biográfico relativo a un especialista en informática en los Estados Unidos es un trozo . Puedes ayudar a Wikipedia expandiéndola .
