Dov Gabbay
Encyclopedia
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, (UK Charity, Number 1112512). 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.
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
Augustus De Morgan
Augustus De Morgan was a British mathematician and logician. He formulated De Morgan's laws and introduced the term mathematical induction, making its idea rigorous. The crater De Morgan on the Moon is named after him....
Professor
Professor
A professor is a scholarly teacher; the precise meaning of the term varies by country. Literally, professor derives from Latin as a "person who professes" being usually an expert in arts or sciences; a teacher of high rank...
of Logic
Logic
In philosophy, Logic is the formal systematic study of the principles of valid inference and correct reasoning. Logic is used in most intellectual activities, but is studied primarily in the disciplines of philosophy, mathematics, semantics, and computer science...
at the Group of Logic
Logic
In philosophy, Logic is the formal systematic study of the principles of valid inference and correct reasoning. Logic is used in most intellectual activities, but is studied primarily in the disciplines of philosophy, mathematics, semantics, and computer science...
, Language
Language
Language may refer either to the specifically human capacity for acquiring and using complex systems of communication, or to a specific instance of such a system of complex communication...
and Computation
Computation
Computation is defined as any type of calculation. Also defined as use of computer technology in Information processing.Computation is a process following a well-defined model understood and expressed in an algorithm, protocol, network topology, etc...
, Department of Computer Science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
, King's College London
King's College London
King's College London is a public research university located in London, United Kingdom and a constituent college of the federal University of London. King's has a claim to being the third oldest university in England, having been founded by King George IV and the Duke of Wellington in 1829, and...
(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, (UK Charity, Number 1112512). 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.
Regular Positions
1968-1970 Instructor, Hebrew University of Jerusalem1970-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