Printer Friendly

Henry Kautz to Receive the ACM-AAAI Allen Newell Award.

AAAI congratulates Henry Kautz, who has been selected to receive the 2018 ACM-AAAI Allen Newell Award for contributions to artificial intelligence and computational social science, including fundamental results on the complexity of inference, planning, and media analytics for public health. Kautz has made a range of fundamental contributions to theory and practice in knowledge representation and reasoning, planning and plan recognition, and computational social science. He was one of the pioneers in analyzing the computational complexity of knowledge representation and reasoning systems and showed that inference is intractable for Allen's temporal logic and Reiter's default logic. He was the coinventor of WalkSAT, which greatly advanced our ability to solve Boolean satisfiability problems. Kautz showed how to reduce AI planning problems to SAT problems, which not only led to a paradigm shift m AI planning but also inspired bounded-model checking for software and hardware verification.

Beginning with his doctoral dissertation, Kautz studied how computers can infer the goals and plans of people by observing their behavior. He continued this work with pathbreaking contributions to pervasive computing and social media analytics. One project inferred the transportation destinations of people and was applied to assist cognitively disabled people with wayfinding. A second project analyzed social media data to uncover the strong role of air travel in disease spread. A third project combined social media reports of food poisoning with location data to improve the efficiency of restaurant health inspections. Kautz's work, like that of the prize's namesake Allen Newell, has spanned multiple disciplines and multiple areas within computer science and thereby demonstrated the power and versatility of computer science.

Kautz is serving as division director for information and intelligent Systems (IIS) at the National Science Foundation. He is a professor in the Department of Computer Science and was the founding director of the Goergen Institute for Data Science and at the University of Rochester. He has been a department head at AT&T Bell Labs in Murray Hill, NJ, and a full professor at the University of Washington, Seattle. In 2010, he was elected president of AAAI, and in 2016 was elected chair of the American Association for the Advancement of Science (AAAS) section on information, computing, and communication. He is a Fellow of the AAAS, AAAI, and ACM. He has received the IJCAI Computers & Thought Award, the Ubicomp 10-Year Impact Award, the AAAI Classic Paper Award, and the IAAI Deployed Application Award.

The ACM/AAAI Allen Newell Award is presented to an individual selected for career contributions that have breadth within computer science, or that bridge computer science and other disciplines. This award is accompanied by a prize of $10,000, provided by ACM and AAAI, and by individual contributions. Kautz was formally honored at the ACM Awards Banquet on June 15 in San Francisco. For more information, please see awards.acm. org/newell.

COPYRIGHT 2019 American Association for Artificial Intelligence
No portion of this article can be reproduced without the express written permission from the copyright holder.
Copyright 2019 Gale, Cengage Learning. All rights reserved.

Article Details
Printer friendly Cite/link Email Feedback
Title Annotation:AAAI News: Summer News from the Association for the Advancement of Artificial Intelligence
Publication:AI Magazine
Geographic Code:1USA
Date:Jun 22, 2019
Previous Article:AAAI Congratulates the Winners of the 2018 ACM Turing Award!
Next Article:AAAI and Squirrel AI Learning Establish New Million Dollar Award for Societal Benefits of AI.

Terms of use | Privacy policy | Copyright © 2019 Farlex, Inc. | Feedback | For webmasters