Donald W. Loveland (born December 26, 1934, in Rochester, New York)[1] is a professor emeritus of computer science at Duke University who specializes in artificial intelligence.
[3] Loveland graduated from Oberlin College in 1956, received a master's degree from the Massachusetts Institute of Technology in 1958 and a Ph.D. from New York University in 1964.
He joined the Duke University Computer Science Department in 1973.
He previously served as a faculty member in the Department of Mathematics at New York University and Carnegie Mellon University.
[1][4][5] He received the Herbrand Award for Distinguished Contributions to Automated Reasoning in 2001.