University at Buffalo (UB)
Applied Ontology; Artificial Intelligence
PhD, Philosophy, University of Manchester (1976)
MA, Mathematics and Philosophy, Oxford University (1975)
BA, Mathematics and Philosophy, Oxford University, 1st Class Joint Honors (1973)