Dov Gabbay


Dov M. Gabbay 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.

Work

Gabbay has authored over four hundred and fifty research papers and over thirty research monographs. He is editor of several international Journals, and many reference works and Handbooks of Logic, including the ', the ', and the .
He is well-known for pioneering work on Logic in Computer Science and Artificial Intelligence, especially the application of temporal logics in computer science , in particular formal verification, the logical foundations of non-monotonic reasoning and artificial intelligence, the introduction of fibring logics and the theory of .
He is Chairman and founder of several international conferences, executive of the European Foundation of Logic, Language and Information and President of the International IGPL Logic Group. He is founder, and joint President of the International Federation of Computational Logic. He is also one of the four founders and council member for many years of FoLLI, the Association of Logic, Language and Information, from which he is now retired. He remains a life member.
He is co-founder with Jane Spurr of , a not-for-profit, start-up academic publisher, intended to compete with major expensive publishers at affordable prices, and not requiring copyright assignment from authors. A two volume Festschrift in his honor was published in 2005 by College Publications

Regular positions

1968–1970 Instructor, Hebrew University of Jerusalem

1970–1973 Assistant Professor of Philosophy, Stanford University

1973–1975 Associate Professor of Philosophy, Stanford University

1975–1977 Associate Professor, Bar-Ilan University

1977–1983 Lady Davis Professor of Logic, Bar-Ilan University

1983–1998 Professor of Computing, Imperial College of Science, Technology and Medicine, London

1998–present Professor of Computing, Professor of Philosophy, Augustus De Morgan Professor of Logic, King's College, London

2009–present Special Professor Bar-Ilan University

2015–present Professor of Logics, Ashkelon Academic College

Selected writings