Dov Gabbay

Who is Dov Gabbay?

Dov M. Gabbay is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. He 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, inclunding the Handbook of Philosophical Logic, the Handbook of Logic in Computer Science, and the Handbook of Artificial Intelligence and Logic Programming.

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.