Ronald Fagin (nacido en 1945) es un matemático e informático estadounidense e IBM Fellow en el IBM Almaden Research Center . Es conocido por su trabajo en teoría de bases de datos , teoría de modelos finitos y razonamiento sobre el conocimiento. [1]
Ron Fagin nació y creció en Oklahoma City , donde asistió a Northwest Classen High School . Más tarde fue elegido para el Salón de la Fama de Northwest Classen. Completó su licenciatura en Dartmouth College . Fagin recibió su Ph.D. en Matemáticas de la Universidad de California, Berkeley en 1973, donde trabajó bajo la supervisión de Robert Vaught .
Se unió a la División de Investigación de IBM en 1973, pasó dos años en el Centro de Investigación Thomas J. Watson y luego se transfirió en 1975 a lo que ahora es el Centro de Investigación IBM Almaden en San José, California .
Se ha desempeñado como presidente del comité de programa para el Simposio de ACM sobre principios de sistemas de bases de datos 1984, Simposio de ACM sobre principios de sistemas de bases de datos 1984, Aspectos teóricos del razonamiento sobre el conocimiento 1994, Aspectos teóricos del razonamiento sobre el conocimiento 1994, Simposio de ACM sobre teoría de la computación 2005, Simposio sobre Teoría de la Computación 2005 y Conferencia Internacional sobre Teoría de Bases de Datos 2009.
Fagin ha recibido numerosos premios profesionales por su trabajo. Es miembro de la Academia Nacional de Ciencias , la Academia Nacional de Ingeniería y la Academia Estadounidense de Artes y Ciencias . Él es un compañero de IBM , ACM Fellow , IEEE Fellow, y miembro de la Asociación Americana para el Avance de la Ciencia . Uno de sus trabajos [2] ganó el premio Gödel . Recibió un Docteur Honoris Causa de la Universidad de París y una Laurea Honoris Causa de la Universidad de Calabria en Italia. El IEEE le otorgó el premio IEEE W. Wallace McDowelly el Premio al Logro Técnico del IEEE [3] (ahora conocido como Premio al Logro Técnico Edward J. McCluskey [4] ); y la ACM le otorgó el premio ACM SIGMOD Edgar F. Codd Innovations. [5] La Asociación Europea de Ciencias de la Computación Teórica (junto con el Grupo de Interés Especial de Lógica y Computación de ACM, la Asociación Europea de Lógica de Ciencias de la Computación y la Sociedad Kurt Gödel) le otorgó a él y a los coautores de dos de sus artículos , [6] [7]el Premio Iglesia Alonzo de Lógica y Computación. IBM le otorgó ocho premios a la innovación sobresaliente de IBM, dos premios de emisión de patentes complementarios de IBM, otorgados por patentes clave de IBM, tres premios al logro técnico sobresaliente de IBM y dos premios corporativos de IBM. Ganó premios al Mejor Trabajo en la Conferencia Internacional Conjunta sobre Inteligencia Artificial de 1985, el Simposio ACM de 2001 sobre Principios de Sistemas de Bases de Datos, la Conferencia Internacional de 2010 sobre Teoría de Bases de Datos y la Conferencia Internacional de 2015 sobre Teoría de Bases de Datos. Ganó premios Test-of-Time por 10 años en el Simposio de ACM sobre principios de sistemas de bases de datos de 2011, la Conferencia internacional sobre teoría de bases de datos de 2013 y el Simposio de ACM sobre principios de sistemas de bases de datos de 2014.
El teorema de Fagin , que demostró en su tesis doctoral, establece que la lógica existencial de segundo orden coincide con la clase de complejidad NP en el sentido de que un problema de decisión puede expresarse en lógica existencial de segundo orden si y solo si puede ser resuelto por un máquina de Turing no determinista en tiempo polinomial. Este trabajo ayudó a fundar el área de la teoría de modelos finitos . [8] [9]