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. 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 Englishand in mathematics in 1978 there. 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. 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 and a teaching assistant and research assistant for his thesis advisor James F. Allen. His PhD thesis was titled "A Formal Theory of Plan Recognition" (1987). 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). 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. AI Limericks. Henry Kautz created limericks on AI, which can be seen here (retrieved January 14 2015).