Dov Gabbay

Dov Gabbay est un logicien et informaticien israélien, professeur émérite de logique (chaire Augustus De Morgan) au King's College de Londres, auteur de contributions pionnières aux logiques non classiques, temporelles et modales, aux systèmes déductifs étiquetés et à l'application de la logique à l'informatique et à l'intelligence artificielle. Il est juif et israélien ; il étudia à l'Université hébraïque de Jérusalem et enseigna à Bar-Ilan et à l'Imperial College. Il a dirigé des manuels de référence de logique.

Vérifiez et approfondissez avec ces références externes.

Source : Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS