Computer scientist and AI researcher
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 University of Washington (2000-2006) after worked at AT&T Bell Labs and AT&T Laboratories. He is now[when?] 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.[8]
Books
Articles
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) Archived 2015-10-20 at the Wayback Machine.
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."
- "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.
References
External links
|
---|
International | |
---|
National | |
---|
Academics | |
---|