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]

Henry A. Kautz
Born1956 (age 63–64)
Youngstown, Ohio
Alma materUniversity of Rochester (PhD 1987)
University of Toronto (MS 1982)
Johns Hopkins University (MA 1980)
Cornell University (AB 1978)
Case Institute of Technology (1974-1975)
AwardsIJCAI Computers and Thought Award (1989)
AAAI Fellow (1997) [1] AAAS Fellow (2006) [2]
ACM Fellow (2013) [3]
Scientific career
FieldsArtificial Intelligence
Data science
Pervasive Computing
InstitutionsUniversity of Rochester
Kodak Research Laboratories
University of Washington
AT&T Laboratories
Bell Labs
ThesisA Formal Theory of Plan Recognition. (1987)
Doctoral advisorJames F. Allen
Other academic advisorsC. Raymond Perrault (master supervisor)
Websitewww.cs.rochester.edu/u/kautz/

Biography

Kautz was born in 1956 in Youngstown, Ohio.

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 with highest honors in 1978 there. He wrote plays during a one-year fellowship to writing program at Johns Hopkins University and got an M.A. by the Writing Seminars in 1980. As a foreign student supported by the Connaught Fellowship, he enrolled at University of Toronto in 1980. 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. Before receiving his Ph.D. from University of Rochester in 1987 he was a teaching assistant for Patrick Hayes (Fall of 1983), a teaching assistant (Spring of 1984) and a research assistant (1982–1983) for his thesis advisor James F. Allen. His PhD Thesis titled A Formal Theory of Plan Recognition (1987).[5][6]

Kautz was a professor of Computer Science at University of Washington (2000-2006) after worked at AT&T Bell Labs and AT&T Laboratories. He is now Professor at University of Rochester and Founding Director of Institute for Data Science after worked as a director of Intelligent Systems at Kodak Research Laboratories (2006-2007).[7]

Selected works

Kautz works on wide areas ranging from planning, knowledge representation and artificial Intelligence to data mining, human computation and crowdsourcing, ubiquitous computing, wearable computers, assistive technology and health. Some of his notable works are listed below and details can be seen on his website at University of Rochester.[8]

Books
  • 1991. Reasoning About Plans. (with James F. Allen, R. Pelavin, and J. Tenenberg) Morgan Kaufmann, 1991. ISBN 978-1493306138

Articles
  • 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
the premier award for artificial intelligence researchers under the age of 35.
"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 ACM International Joint Conference on Pervasive and Ubiquitous Computing.
  • 2018. ACM-AAAI Allen Newell Award.
gollark: Apparently it used to exist, but doesn't now.
gollark: I've managed to at least sort of work around the problem in a way which will inevitably break later, so yay.
gollark: ```luaif package and not package.preload then package.preload = {} endfunction simple_require(package) if package.preload[package] then return package.preload[package] end [other stuff]end```does this:I have no idea *what's* going on at this point.
gollark: Really? Interesting. Do you need some unreasonably gigantic regex for it? Or did I foolishly invite this by saying "regex" instead of "pattern"?
gollark: Or non-X-HTML.

References
  1. AAAI FELLOWS
  2. AAAS Fellows
  3. ACM Fellows 2013
  4. Henry A Kautz homepage on Rochester
  5. Henry Kautz CV in Thesis, May 1987
  6. Henry Kautz CV at University of Washington April 2000
  7. Henry Kautz CV, January 2015
  8. papers of Henry A. Kautz
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.