Henry Kautz

Henry A. Kautz (born 1956) is a computer scientist, Founding Director of Institute for Data Science and Professor at University of Rochester. He is interested in knowledge representation, artificial intelligence, data science and pervasive computing.^[4]

Biography

Kautz was born in 1956 in Youngstown, Ohio.^[5]

Kautz entered the Case Institute of Technology in 1974, then a year later, transferred to Cornell University and got his B.A. in English and in mathematics in 1978 there.^[5] He wrote plays during a one-year fellowship creative writing program at Johns Hopkins University and got an M.A. by the Writing Seminars in 1980.^[5] As a foreign student supported by the Connaught Fellowship, he enrolled at University of Toronto in 1980.^[5] Kautz completed his master thesis A First-Order Dynamic Logic for Planning under the supervision of C. Raymond Perrault, and then received his M.S. in computer science in 1982.^[5] Before receiving his Ph.D. from University of Rochester in 1987 he was a teaching assistant for Patrick Hayes and a teaching assistant and research assistant for his thesis advisor James F. Allen.^[5] His PhD thesis was titled A Formal Theory of Plan Recognition (1987).^[5][6]

Kautz was a professor of Computer Science at

• 1991. Reasoning About Plans. (with
  ISBN 978-1493306138

• 2013. 10-Year Impact Award ACM International Joint Conference on Pervasive and Ubiquitous Computing
• 2013. Notable Paper First AAAI Conference on Human Computation and Crowdsourcing (HCOMP)
• 2012. Best Paper Fifth ACM International Conference on Web Search and
  Data Mining
  (WSDM)
• 2005. Best Paper
  IEEE International Symposium on Wearable Computers
  (ISWC)
• 2004 & 2006. 1st Place ICAPS Planning Competition (Optimal Track)
• 1996 & 2004. Best Paper Conference on
  Artificial Intelligence
  (AAAI)
• 1993 & 2012. Notable Paper Conference on Artificial Intelligence (AAAI)
• 1989. Best Paper International Conference on Knowledge Representation & Reasoning (KRR)
• 1988. Best Paper Canadian Society for Computational Studies of Intelligence (CSCSI)

Patent

• 1993. Optimization of Information Bases. US patent issued November 1993
• 1997. Mechanism for Constraint Satisfaction. US patent issued June 1997
• 1997. Message Filtering Techniques. US patent issued April 1997

AI Limericks

Henry Kautz created limericks on AI, which can be seen here (retrieved January 14 2015).

Awards and honors

• 1989. IJCAI Computers and Thought Award.

the premier award for artificial intelligence researchers under the age of 35.

• 1991. AAAI Fellow.^[1]

"For contributions to many areas of artificial intelligence, from plan recognition to knowledge representation to software agents."

• 2006. AAAS Fellow.^[2]
• 2010-2012. President of
  AAAI
  .
• 2013. ACM Fellow.^[3]

"For contributions to artificial intelligence and pervasive computing with applications to assistive technology and health."

• 2013. 10-Year Impact Award of
  Ubiquitous Computing
  .
• 2018. ACM-AAAI Allen Newell Award.

References

External links

• Henry A Kautz's Home Page
• Google Scholar of Henry Kautz, h-index is 65 .