Donald Loveland

Computer Science · Physical Sciences

28h-index6.0kcitations120works0.32yr avg

Accepting Students?

No reports yet. Know if this professor is taking students?


Research Topics

Logic, programming, and type systems(39), Logic, Reasoning, and Knowledge(28), Formal Methods in Verification(22), AI-based Problem Solving and Planning(12), Advanced Graph Neural Networks(12)

Publications120 total

arXiv (Cornell University)·2026Open Access
arXiv (Cornell University)·2023· 1 citedOpen Access
Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining·2022· 26 citedOpen Access
page 1 of 6Next →

Frequent Co-authors

Bhavya Kailkhura(3), Anna M. Hiszpanski(3), T. Yong-Jin Han(3), Tommaso Treu(3), Vardha N. Bennert(3), Matthew A. Malkan(3), Maren Cosens(3), Edward Donohue(3), Daeseong Park(3), David Reed(3), Owen Astrachan(3), Marco Valtorta(3), Martin Davis(2), George Logemann(2), Shusen Liu(2), Yong Han(2), H. Gelernter(2), Josie Hansen(2), Piyush Karande(2), U Vivian(2)