 |
Dov M. Gabbay | |
|---|---|
דב גבאי | |
| Born | October 26, 1945 |
| Education | Hebrew University (BSc, MSc, PhD) |
| Known for | Gabbay's separation theorem, foundations for non-monotonic reasoning in expert systems |
| Awards | Foreign Fellow of the Royal Society of Canada (FRSC) Fellow of the Alexander von Humboldt Foundation (FAvH) |
| Scientific career | |
| Fields | Computer science Mathematics Philosophy Logic |
| Institutions | King's College London Bar-Ilan University University of Luxembourg University of Manchester Imperial College London Université Paul Sabatier Ashkelon Academic College |
| Thesis | Non-classical Logics (1969) |
| Doctoral advisor | Azriel Lévy Michael O. Rabin[1] |
Dov M. Gabbay (/ɡəˈbeɪ/, Hebrew: דב גבאי; born October 26, 1945) is an Israeli logician. He is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London.