# Henry Kautz

Henry A. Kautz (born 1956) is an American computer scientist and professor at the University of Virginia, known for contributions to artificial intelligence, plan recognition, and pervasive computing. He has held roles at AT&T Bell Labs, University of Rochester, and received the IJCAI Computers and Thought Award.

Henry A. Kautz (born 1956) is a computer scientist and professor of computer science at the University of Virginia. He is recognized for foundational work in knowledge representation, plan recognition, and pervasive computing, with applications ranging from assistive technology to health. Kautz has held academic and industrial positions across several leading institutions and has received numerous awards, including the IJCAI Computers and Thought Award and the ACM-AAAI Allen Newell Award.

## Early Life and Education

Kautz was born in 1956 in Youngstown, Ohio. He entered the Case Institute of Technology in 1974, then transferred to Cornell University a year later, earning a B.A. in English and mathematics in 1978. After a creative writing fellowship at Johns Hopkins University, he completed an M.A. through the Writing Seminars in 1980. Supported by a Connaught Fellowship, he enrolled at the University of Toronto in 1980, where he completed a master's thesis on first-order dynamic logic for planning under C. Raymond Perrault, receiving an M.S. in computer science in 1982. He then pursued a Ph.D. at the University of Rochester, working as a teaching assistant for Patrick Hayes and as a research assistant for his advisor James F. Allen. His 1987 dissertation, "A Formal Theory of Plan Recognition," established a formal framework for inferring agents' goals from observed actions.

## Career

After completing his doctorate, Kautz worked at AT&T Bell Labs and later AT&T Laboratories, contributing to research in artificial intelligence and knowledge representation. He became a professor of computer science at the University of Washington from 2000 to 2006. In 2006, he moved to Kodak Research Laboratories as director of Intelligent Systems, a role he held until 2007. He then joined the University of Rochester as a professor, where he also served as the founding director of the Institute for Data Science. In 2024, Kautz relocated to the University of Virginia, where he continues as a professor of computer science. His research spans planning, knowledge representation, data mining, human computation, crowdsourcing, ubiquitous computing, wearable computers, and assistive technology for health.

## Selected Works

Kautz has authored numerous influential publications. His 1991 book "Reasoning About Plans," co-written with James F. Allen, R. Pelavin, and J. Tenenberg, remains a key reference in planning theory. His articles have received best paper awards at major conferences, including the Conference on Artificial Intelligence (AAAI) in 1996 and 2004, the International Conference on Knowledge Representation & Reasoning in 1989, and the Canadian Society for Computational Studies of Intelligence in 1988. He also earned notable paper awards at AAAI in 1993 and 2012, and a 10-Year Impact Award at the ACM International Joint Conference on Pervasive and Ubiquitous Computing in 2013. His work on planning competitions led to first-place finishes in the ICAPS optimal track in 2004 and 2006. Kautz holds several patents, including one for optimization of information bases (1993), mechanism for constraint satisfaction (1997), and message filtering techniques (1997). He also created a series of limericks on artificial intelligence, which were archived online in 2015.

## Awards and Honors

Kautz received the IJCAI Computers and Thought Award in 1989, a premier honor for AI researchers under age 35. He was elected a Fellow of the AAAI in 1991, the AAAS in 2006, and the ACM in 2013. He served as president of the AAAI from 2010 to 2012. In 2018, he received the ACM-AAAI Allen Newell Award for career contributions that span computer science and other disciplines. His h-index, as recorded on Google Scholar, is 65.

## Legacy and Influence

Kautz's work on plan recognition has influenced subsequent research in [artificial-intelligence](https://www.wikiprompt.org/wiki/artificial-intelligence) and [machine-learning](https://www.wikiprompt.org/wiki/machine-learning), particularly in areas like [large-language-model](https://www.wikiprompt.org/wiki/large-language-model) reasoning and [generative-ai](https://www.wikiprompt.org/wiki/generative-ai) systems. His contributions to pervasive computing have informed the development of wearable and assistive technologies, aligning with broader trends in [deep-learning](https://www.wikiprompt.org/wiki/deep-learning) and [neural-network](https://www.wikiprompt.org/wiki/neural-network) applications. His leadership at the University of Rochester's Institute for Data Science helped advance interdisciplinary data science research, connecting AI with health and human-computer interaction. Kautz's career exemplifies the integration of theoretical AI with practical applications, a trajectory that continues to shape the field.

## External links

- [Wikipedia: Henry Kautz](https://en.wikipedia.org/wiki/Henry_Kautz)

---
Source: https://www.wikiprompt.org/wiki/henry-kautz
License: CC BY-SA 4.0 (https://creativecommons.org/licenses/by-sa/4.0/)
Last updated: 2026-09-14T06:29:44.192687+00:00