Dov Gabbay

Dov Gabbay es un lógico e informático israelí, catedrático emérito de Lógica (cátedra Augustus De Morgan) en el King's College de Londres, autor de aportes pioneros a las lógicas no clásicas, temporales y modales, a los sistemas deductivos etiquetados y a la aplicación de la lógica a la informática y la inteligencia artificial. Es judío e israelí; estudió en la Universidad Hebrea de Jerusalén y enseñó en Bar-Ilán y el Imperial College. Editó manuales de referencia de lógica.

Verifique y profundice con estas referencias externas.

Fuente: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS