World Library  
Flag as Inappropriate
Email this Article
 

Dov Gabbay

Bernard Dov Gabbay
Born (1945-10-23) October 23, 1945
Fields Computer Science
Mathematics
Philosophy
Logic
Institutions King's 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
Thesis Non-classical Logics (1969)
Doctoral advisor Azriel Lévy
Michael O. Rabin[1]
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 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, including the Handbook of Philosophical Logic, the Handbook of Logic in Computer Science (with Samson Abramsky and T. S. E. Maibaum), 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,[2] (UK Charity, Number 1112512).[3] 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 College Publications, 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.[4]

Contents

  • Regular positions 1
  • See also 2
  • References 3
  • External links 4

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

References

  1. ^ Dov Gabbay at the Mathematics Genealogy Project
  2. ^ http://www.ifcolog.net
  3. ^ http://www.charity-commission.gov.uk/Showcharity/RegisterOfCharities/CharityWithoutPartB.aspx?RegisteredCharityNumber=1112512&SubsidiaryNumber=0
  4. ^ http://www.collegepublications.co.uk/about/

External links

  • Home page
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 



Copyright © World Library Foundation. All rights reserved. eBooks from National Public Library are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.