Contact
Mobile
(585) 520-1200
Location
Rice Hall 511

Henry Kautz

Professor, Computer Science Co-Director, AI Research
Contact
Mobile
(585) 520-1200
Location
Rice Hall 511
Website Google Scholar page

About

Henry Kautz a Professor of Computer Science at the University of Virginia and Co-Director of AI Research in the Office of the Provost.

From 2018 to 2022 he served as Division Director for Information & Intelligent Systems (IIS) at the National Science Foundation, where he led the National AI Research Institutes program. He was the founding director of the Goergen Institute for Data Science at the University of Rochester. He received the 2018 ACM-AAAI Allen Newell Award for career contributions that have breadth within computer science and that bridge computer science and other disciplines, and at the 2020 AAAI Conference received both the Distinguished Service Award and the Robert S. Engelmore Memorial Lecture Award. His research includes practical algorithms for solving worst-case intractable problems in logical and probabilistic reasoning, pervasive healthcare applications of AI, and social media analytics.  He has also been a faculty member at the University of Washington and at AT&T Bell Laboratories.

Education

Ph.D., University of Rochester, 1987

M.S., University of Toronto, 1982

M.A., The Johns Hopkins University, 1980

A.B., Cornell University, 1978

Research Interests

Artificial Intelligence

Selected Publications

The Third AI Summer. AI Magazine, Volume 43, Issue 1, Spring 2022, Pages 105-125. Errata: the Vancouver IJCAI was held in 1981, not 1987. Henry Kautz
Article PDF
The Relationship between Deteriorating Mental Health Conditions and Longitudinal Behavioral Changes in Google and YouTube Usages among College Students in the United States during COVID-19: Observational Study. JMIR Mental Health 2020;7(11):e24012. Anis Zaman, Boyu Zhang, Ehsan Hoque, Vincent Silenzio, Henry Kautz
Article Webpage
Hierarchical organization of urban mobility and its connection with city livability. Nature Communications, Vol. 10, Article No. 4817, 2019. Aleix Bassolas, Hugo Barbosa-Filho, Brian Dickinson, Xerxes Dotiwalla, Paul Eastham, Riccardo Gallotti, Gourab Ghoshal, Bryant Gipson, Surendra A. Hazarie, Henry Kautz, Onur Kucuktunc, Allison Lieber, Adam Sadilekm and José J. Ramasco
Article Webpage
Deploying nEmesis: Preventing Foodborne Illness by Data Mining Social Media. AI Magazine 38(1): 37-48, 2017.

Adam Sadilek, Henry A. Kautz, Lauren DiPrete, Brian Labus, Eric Portman, Jack Teitel, Vincent Silenzio
Article PDF

Courses Taught

CS 6501 Workshop on Building AI Agents, Spring 2026
CS CS 4501/6501 Analyzing Online Behavior for Public Health, Spring 2025

Awards

ACM-AAAI Allen Newell Award, 2018 For contributions to artificial intelligence and computational social science, including fundamental results on the complexity of inference, planning, and media analytics for public health.
AAAI Robert S. Engelmore Memorial Lecture Award, 2020 For outstanding research contributions in the area of knowledge representation, data analytics, and data mining of social media for public good.
AAAI Distinguished Service Award, 2020 For significant contributions to the field of artificial intelligence through sustained service to the Association for the Advancement of Artificial Intelligence and the furtherance of the field as a researcher, mentor and NSF IIS director.
SAT Association Test of Time Award, 2024 For the large impact on satisfiability testing and beyond of the paper "Combining Component Caching and Clause Learning for Effective Model Counting" from the 2004 Conference on Theory and Applications of Satisfiability Testing.