Donald W. Loveland

Donald W. Loveland
Born (1934-12-26) December 26, 1934
Rochester, New York
Fields Computer science
Institutions Duke University
Alma mater New York University
Thesis Recursively Random Sequences (1964)
Doctoral advisors Peter Ungar, Martin David Davis
Doctoral students Owen Astrachan, Robert Daley, Timothy Gegg-Harrison, Susan Gerhart, David Mutchler, C. Ramu Reddy, David Reed, Marco Valtorta
Known for DPLL algorithm
Notable awards Herbrand Award 2001

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.[2] He is well-known for the Davis–Putnam–Logemann–Loveland algorithm.[3]

Loveland graduated from Oberlin College in 1956, received a Masters 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.[4][5][1]

He received the Herbrand Award for Distinguished Contributions to Automated Reasoning in 2001.[5] He is a Fellow of the Association for Computing Machinery (2000)[6] and a Fellow of the Association of Artificial Intelligence (1993).[7]

Bibliography

Books
Selected papers

See also

Model elimination

References

  1. 1 2 Loveland, D.W.; Stickel, M.E.; "A Hole in Goal Trees: Some Guidance from Resolution Theory". In Proceedings of IEEE Trans. Computers. 1976, 335-341.
  2. Duke University personal page
  3. Davis, Martin; Logemann, George; Loveland, Donald (1962). "A Machine Program for Theorem Proving". Communications of the ACM. 5 (7): 394–397. doi:10.1145/368273.368557.
  4. Curriculum Vitae
  5. 1 2 "Prestigious Herbrand Award Presented to Duke University Computer Science Faculty Member" (PDF). Duke University Press Release. 16 July 2001. Retrieved 28 August 2016.
  6. "Two Professors Named ACM Fellows". Duke University. 1 November 1999. Retrieved 28 August 2016.
  7. "Elected AAAI Fellows, Donald W. Loveland, Duke University". Association for the Advancement of Artificial Intelligence. Retrieved 28 August 2016. For outstanding contributions to the field of automated reasoning and development of the model elimination theorem-proving procedure.

External links

Publication list at DBLP

This article is issued from Wikipedia - version of the 10/14/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.