Dov Gabbay

Dov M. Gabbay ( / ɡ ə ˈ b eɪ / , hebreo : דב גבאי ; nacido el 26 de octubre de 1945) es un lógico israelí. Es profesor emérito Augustus De Morgan de Lógica en el Grupo de Lógica , Lenguaje y Computación del Departamento de Ciencias de la Computación del King's College de Londres .

Gabbay es autor de más de cuatrocientos cincuenta artículos de investigación y más de treinta monografías de investigación. Es editor de varias revistas internacionales y de numerosas obras de referencia y manuales de lógica, entre los que se incluyen el Handbook of Philosophical Logic (con Franz Guenthner ), el Handbook of Logic in Computer Science (con Samson Abramsky y TSE Maibaum ), el Handbook of the History of Logic (con John Woods ), el Handbook of Deontic Logic and Normative Systems (con John F. Horty , Xavier Parent, Ron van der Meyden y Leendert van der Torre ) y el Handbook of Logic in Artificial Intelligence and Logic Programming (con CJ Hogger y JA Robinson ).

Es conocido por su trabajo pionero en lógica en informática e inteligencia artificial, especialmente por la aplicación de lógicas temporales (ejecutables) en informática, en particular la verificación formal , los fundamentos lógicos del razonamiento no monótono y la inteligencia artificial, la introducción de lógicas de fibración y la teoría de sistemas deductivos etiquetados.

Es presidente y fundador de varias conferencias internacionales, ejecutivo de la Fundación Europea de Lógica, Lenguaje e Información y presidente del Grupo Internacional de Lógica IGPL. Es fundador y copresidente de la Federación Internacional de Lógica Computacional. ^{[ 2 ] [ 3 ]} También es uno de los cuatro fundadores y miembro del consejo durante muchos años de FoLLI, la Asociación de Lógica, Lenguaje e Información, de la que ahora está retirado. Sigue siendo miembro vitalicio.

Es cofundador, junto con Jane Spurr, de College Publications, una editorial académica emergente sin ánimo de lucro , cuyo objetivo es competir con las grandes y costosas editoriales ofreciendo precios asequibles y sin exigir la cesión de derechos de autor a los autores. ^{[ 4 ]} En 2005, College Publications publicó un volumen conmemorativo en su honor. ^{[ 5 ]}

El Premio Dov Gabbay de Lógica y Fundamentos es un premio internacional de investigación que se otorga a académicos por sus contribuciones a la lógica. El premio se estableció en 2022 con motivo del 77.º cumpleaños de Dov Gabbay en honor a su labor científica y editorial. Los galardonados son elegidos por un comité independiente compuesto por seis lógicos de renombre internacional que representan la lógica matemática , filosófica y computacional . ^{[ 6 ]}

La lista de beneficiarios anteriores es mantenida por la Iniciativa de Lógica y Fundamentos de la Universidad de Luxemburgo . ^{[ 7 ]}

• 2023. Dale Miller y Mirek Truszczynski.
• 2024. David Asperó y Ralf Schindler.
• 2025. Alexandru Baltag.

• 1968–1970 – Profesor, Universidad Hebrea de Jerusalén
• 1970–1973 – Profesor adjunto de filosofía, Universidad de Stanford
• 1973–1975 – Profesor asociado de filosofía, Universidad de Stanford
• 1975–1977 – Profesor asociado, Universidad Bar-Ilan
• 1977–1983 – Profesora Lady Davis de Lógica, Universidad Bar-Ilan
• 1983–1998 – Profesor de Informática, Imperial College of Science, Technology and Medicine , Londres
• 1998–presente – Profesor de Informática, Profesor de Filosofía, Profesor Augustus De Morgan de Lógica, King's College, Londres
• 2009–presente – Profesor Especial de la Universidad Bar-Ilan
• 2015–2017 – Profesor de Lógica, Ashkelon Academic College

• Página principal