Dov Gabbay
Dov Gabbay · Technologie & ingénierie
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.
1945, Israël
Israël · États-Unis · Royaume-Uni
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
Cette page paraît en sept langues à partir d'une source anglaise. Les traductions sont relues, mais une erreur peut passer. Si vous en repérez une sur cette fiche — un mot fautif, une date perdue, une phrase qui dit autre chose que l'anglais —, signalez-la-nous.
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.
Source : Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
