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.org·2026Open Access
ArXiv.org·2025Open Access
arXiv (Cornell University)·2025Open Access
Research Involvement and Engagement·2025· 1 citedOpen Access
arXiv (Cornell University)·2025Open Access
2025· 1 citedOpen Access
Society for Industrial and Applied Mathematics eBooks·2025
arXiv (Cornell University)·2024Open Access
arXiv (Cornell University)·2024Open Access
arXiv (Cornell University)·2024Open Access
Studies in computational intelligence·2024
arXiv (Cornell University)·2023Open 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
arXiv (Cornell University)·2022Open Access
The Astrophysical Journal·2022· 32 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)