Background
Loveland, Donald William was born on December 26, 1934 in Rochester, New York, United States. Son of Roger Platt and Dorothy (Dobbin) Loveland.
Loveland, Donald William was born on December 26, 1934 in Rochester, New York, United States. Son of Roger Platt and Dorothy (Dobbin) Loveland.
He graduated from Oberlin College in 1956, received a Masters degree from the Massachusetts Institute of Technology in 1958 and a Doctor of Philosophy from New York University in 1964.
Mathematician, programmer, International Business Machines Corporation, Yorktown Heights, New York, 1958-1959;
assistant professor mathematics, New York University, 1964-1967;
assistant professor, then associate professor mathematics and computer science, Carnegie-Mellon U., Pittsburgh, 1967-1973;
professor, department chairman computer science, Duke U., Durham, North Carolina, 1973-1978, 91-92;
professor, department chairman computer science, Duke U., 1998-1999;
professor computer science, Duke U., Durham, North Carolina, since 1973. Distinguished faculty visitor International Business Machines Corporation Research Center, Yorktown Heights, 1979-1980. Program chairman, editor procs.
6th Conference on Automated Deduction, 1982, trustee corporation controls, 1994-1997.
Member Association for Computing Machinery, Association for Symbolic Logic, American Association for Artificial Intelligence (elected fellow 1993), American Association for the Advancement of Science.
Married Amy Straw, May 21, 1966. Children: Robert Philip, Douglas Roger.