Michael Gelfond es profesor de Ciencias de la Computación en la Universidad Tecnológica de Texas en los Estados Unidos . Recibió una licenciatura en matemáticas del Instituto Steklov de Matemáticas en Rusia en 1974 y emigró a los Estados Unidos en 1978. Los intereses de investigación de Gelfond se encuentran en las áreas de lógica computacional y representación del conocimiento. Es miembro de la Asociación para el Avance de la Inteligencia Artificial , [1] y Editor de Área (en Representación del Conocimiento y Razonamiento No Monotónico) de la revista Teoría y Práctica de la Programación Lógica .
Él, junto con Vladimir Lifschitz , definió la semántica del modelo estable [2] para los programas lógicos, que más tarde se convirtió en la base teórica de la programación de conjuntos de respuestas , [3] un nuevo paradigma de programación declarativa.
Este artículo biográfico relacionado con un informático es un trozo . Puedes ayudar a Wikipedia expandiéndola .