Bachelor in Classics with honours, Corpus Christi College, Cambridge University, England, 1952. Master of Arts, 1955. Master of Arts in Philosophy, University Oregon, 1953.
Master of Arts, Princeton University, 1955. Doctor of Philosophy, Princeton University, 1956. Doctor in Applied Science honoris causa, University Leuven, 1988.
Doctor in Philosophy honoris causa, University Uppsala, 1994. Doctor in Informatics honoris causa, University Politechnica, Madrid, 2003.
Operations research analyst, E.I. du Pont de Nemours & Company, Inc., 1956-1960;
post-doctoral research fellow, U. Pittsburgh, 1960-1966l;
member of faculty, Rice U., 1961-1967;
professor philosophy, Rice U., 1964-1965;
professor computer science and philosophy, Rice U., 1965-1966;
professor computer science, Rice U., 1966-1967;
distinguished professor logic and computer science, Syracuse University, 1967-1984;
University professor, Syracuse University, 1984-1992;
university professor emeritus, Syracuse University, since 1993. Consultant in applied mathematics division Argonne National Laboratory, 1961-1967, Stanford Linear Acceleration Center, 1966-1968. Visiting research fellow Australian National U., 1989.
Fujitsu visiting professor U. Tokyo, 1991-1992.
Served with Royal Air Force, 1948-1949. Fellow American Association for Artificial Intelligence. Member Kokusai Bunka Kaikan (Tokyo).
Married Gwen Groves, December 18, 1954. Children: Alan Groves, Hugh Parke Custis, Gwen Owen.