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 Boyer-Moore cadena de búsqueda , Boyer-Moore algoritmo de voto de la mayoría , y el demostrador de teoremas Boyer-Moore automatizado, Nqthm . Hizo contribuciones pioneras al 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 ofrece 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 Massachusettsen 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 automatizado de teoremas 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 usaron ACL2 para probar la exactitud de las operaciones de división de punto flotante del microprocesador AMD K5 a raíz del error Pentium FDIV .
Por sus contribuciones a la deducción automática , Moore recibió el premio Herbrand de 1999 con Robert S. Boyer , y en 2006 fue admitido como miembro de la Association for Computing Machinery . Moore fue elegido miembro de la Academia Nacional de Ingeniería en 2007 y es miembro de la AAAI. [3] Fue elegido miembro correspondiente de la Royal Society of Edinburgh en 2015. [4]
Actualmente es el almirante BR Inman Centennial Chair in Computing Theory 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 otras, 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.
Moore disfruta de la escalada en roca . [5]
Ver 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 .
- ^ "Página de inicio de J Moore, sección de biografía" . Consultado el 7 de octubre de 2014 .
- ^ "Profesor J Strother Moore CorrFRSE - La Real Sociedad de Edimburgo" . La Royal Society de Edimburgo . Consultado el 9 de enero de 2018 .
- ^ "Página de inicio de J Moore, sección de intereses" . Consultado el 22 de agosto de 2008 .
enlaces externos
- Página 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
- Machines Reasoning about Machines , charla de J Strother Moore impartida en EPFL en 2011, que ofrece una descripción general de algunos de sus trabajos.