Education
Hebrew University of Jerusalem.
philosopher university professor
Hebrew University of Jerusalem.
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 South East Maibaum), and the Handbook of Artificial Intelligence and Logic Programming. 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.
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
2015-present Professor of Logics, Ashkelon Academic College.