Dov Gabbay
Dov Gabbay · Technology & Engineering
Computer & information scientist
1945, Israel
Israel · United States · United Kingdom
Dov Gabbay is recognized among Jewish contributors to Technology & Engineering — Computer & information scientist
Dov Gabbay is an Israeli logician and computer scientist, Augustus De Morgan Professor Emeritus of Logic at King's College London, who has made pioneering contributions to non-classical, temporal and modal logics, labelled deductive systems, and the application of logic to computer science and artificial intelligence. He is Jewish and Israeli; he studied at the Hebrew University of Jerusalem and taught at Bar-Ilan and Imperial College London. He authored hundreds of papers and edited landmark handbooks of philosophical logic and logic in computer science.
Verify and go deeper with these external references.
Source: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
This page is published in seven languages from an English source. The translations are reviewed, but a mistake can still slip through. If you spot one on this profile — a wrong word, a lost date, a sentence that says something the English does not — please tell us.
Computer & information scientist
Source: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
