Dov Gabbay

Bernard Dov Gabbay
Born	October , 1945 (1945-10-00) (age Expression error: Missing operand for -)
Fields	Computer Science Mathematics Philosophy Logic
Institutions	[Kings College London]] Bar-Ilan University University of Luxembourg University of Manchester Universite Paul Sabatier
Alma mater	B.Sc. (Mathematics and Physics) 1966, Hebrew University, Jerusalem M.Sc. (Logic) 1967, Hebrew University Ph.D. (Logic) 1969, Hebrew University
Known for	Labelled Deductive Systems, Fibring Logics, Gabbay's separation theorem
Notable awards	Foreign Fellow of the Royal Society of Canada (FRSC) Fellow of the Alexander von Humboldt Foundation (FAvH) Fellow of the Royal Society of Arts (FRSA)

Dov M. Gabbay is Augustus De Morgan Professor of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London (Emeritus). He has authored over four hundred and fifty research papers and over thirty research monographs. He is editor of several international Journals, and over 50 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, among many other reference works on logic.

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, an joint President of the International Federation of Computational Logic,^[1] (UK Charity, Number 1112512).^[2] He is also one of the four founders and council member for many years of FoLLI, the Association of Logic, Language and Information. Now retired and Life Member.

He is cofounder with Jane Spurr of College Publications, an non-profit upstart academic publisher associated with the charity, intended to compete with major expensive publishers at affordable prices, and not requiring copyright assignment from authors.^[3]

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, 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

See also

• Gabbay's separation theorem

References

1. ^ www.ifcolog.net
2. ^ http://www.charity-commission.gov.uk/Showcharity/RegisterOfCharities/CharityWithoutPartB.aspx?RegisteredCharityNumber=1112512&SubsidiaryNumber=0
3. ^ http://www.collegepublications.co.uk/about/

External links

• Home page

Persondata
Name	Gabbay, Dov
Alternative names
Short description
Date of birth	1945
Place of birth
Date of death
Place of death