Henry Kautz

Last updated
Henry A. Kautz
Born1956 (age 6768)
Alma mater University of Rochester (PhD 1987)
University of Toronto (MS 1982)
Johns Hopkins University (MA 1980)
Cornell University (AB 1978)
Case Institute of Technology (1974-1975)
Awards IJCAI Computers and Thought Award (1989)
AAAI Fellow (1997) [1] AAAS Fellow (2006) [2]
ACM Fellow (2013) [3]
Scientific career
Fields Artificial Intelligence
Data science
Pervasive Computing
Institutions University of Rochester
Kodak Research Laboratories
University of Washington
AT&T Laboratories
Bell Labs
Thesis A Formal Theory of Plan Recognition.  (1987)
Doctoral advisor James F. Allen
Other academic advisors C. Raymond Perrault (master supervisor)
Website www.cs.rochester.edu/u/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]

Contents

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

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."

Related Research Articles

The Association for the Advancement of Artificial Intelligence (AAAI) is an international scientific society devoted to promote research in, and responsible use of, artificial intelligence. AAAI also aims to increase public understanding of artificial intelligence (AI), improve the teaching and training of AI practitioners, and provide guidance for research planners and funders concerning the importance and potential of current AI developments and future directions.

Bart Selman is a Dutch-American professor of computer science at Cornell University. He is also co-founder and principal investigator of the Center for Human-Compatible Artificial Intelligence (CHAI) at the University of California, Berkeley, led by Stuart J. Russell, and co-chair of the Computing Community Consortium's 20-year roadmap for AI research.

<span class="mw-page-title-main">Deborah McGuinness</span>

Deborah Louise McGuinness is an American computer scientist and researcher at Rensselaer Polytechnic Institute (RPI). She is a professor of Computer, Cognitive and Web Sciences, Industrial and Systems Engineering, and an endowed chair in the Tetherless World Constellation, a multidisciplinary research institution within RPI that focuses on the study of theories, methods and applications of the World Wide Web. Her fields of expertise include interdisciplinary data integration, artificial intelligence, specifically in knowledge representation and reasoning, description logics, the semantic web, explanation, and trust.

<span class="mw-page-title-main">Alan Bundy</span> British artificial intelligence researcher (born 1947)

Alan Richard Bundy is a professor at the School of Informatics at the University of Edinburgh, known for his contributions to automated reasoning, especially to proof planning, the use of meta-level reasoning to guide proof search.

<span class="mw-page-title-main">Tim Finin</span> American computer scientist

Timothy Wilking Finin is the Willard and Lillian Hackerman Chair in Engineering and is a Professor of Computer Science and Electrical Engineering at the University of Maryland, Baltimore County (UMBC). His research has focused on the applications of artificial intelligence to problems in information systems and has included contributions to natural language processing, expert systems, the theory and applications of multiagent systems, the semantic web, and mobile computing.

James Frederick Allen is an American computational linguist recognized for his contributions to temporal logic, in particular Allen's interval algebra. He is interested in knowledge representation, commonsense reasoning, and natural language understanding, believing that "deep language understanding can only currently be achieved by significant hand-engineering of semantically-rich formalisms coupled with statistical preferences". He is the John H. Dessaurer Professor of Computer Science at the University of Rochester

Activity recognition aims to recognize the actions and goals of one or more agents from a series of observations on the agents' actions and the environmental conditions. Since the 1980s, this research field has captured the attention of several computer science communities due to its strength in providing personalized support for many different applications and its connection to many different fields of study such as medicine, human-computer interaction, or sociology.

<span class="mw-page-title-main">Eric Horvitz</span> American computer scientist, and Technical Fellow at Microsoft

Eric Joel Horvitz is an American computer scientist, and Technical Fellow at Microsoft, where he serves as the company's first Chief Scientific Officer. He was previously the director of Microsoft Research Labs, including research centers in Redmond, WA, Cambridge, MA, New York, NY, Montreal, Canada, Cambridge, UK, and Bangalore, India.

David Leigh Waltz was a computer scientist who made significant contributions in several areas of artificial intelligence, including constraint satisfaction, case-based reasoning and the application of massively parallel computation to AI problems. He held positions in academia and industry and at the time of his death, was a professor of Computer Science at Columbia University where he directed the Center for Computational Learning Systems.

<span class="mw-page-title-main">Carla Gomes</span> Portuguese-American computer scientist

Carla Pedro Gomes is a Portuguese-American computer scientist and professor at Cornell University. She is the founding Director of the Institute for Computational Sustainability and is noted for her pioneering work in developing computational methods to address challenges in sustainability. She has conducted research in a variety of areas of artificial intelligence and computer science, including constraint reasoning, mathematical optimization, and randomization techniques for exact search methods, algorithm selection, multi-agent systems, and game theory. Her work in computational sustainability includes ecological conservation, rural resource mapping, and pattern recognition for material science.

Yolanda Gil is a Spanish computer scientist specializing in knowledge discovery and knowledge-based systems at the University of Southern California (USC). She served as chair of SIGAI the Association for Computing Machinery (ACM) Special Interest Group (SIG) on Artificial Intelligence, and the president of the Association for the Advancement of Artificial Intelligence (AAAI).

<span class="mw-page-title-main">Boi Faltings</span> Swiss professor

Boi Volkert Faltings is a Swiss professor of artificial intelligence at École Polytechnique Fédérale de Lausanne.

Jiebo Luo is a Chinese-American computer scientist, the Albert Arendt Hopeman Professor of Engineering and Professor of Computer Science at the University of Rochester. He is interested in artificial intelligence, data science and computer vision.

Sheila McIlraith is a Canadian computer scientist specializing in Artificial Intelligence (AI). She is a Professor in the Department of Computer Science, University of Toronto. She is a Canada CIFAR AI Chair, a faculty member of the Vector Institute, and Associate Director and Research Lead of the Schwartz Reisman Institute for Technology and Society.

Michael Genesereth is an American logician and computer scientist, who is most known for his work on computational logic and applications of that work in enterprise management, computational law, and general game playing. Genesereth is professor in the Computer Science Department at Stanford University and a professor by courtesy in the Stanford Law School. His 1987 textbook on Logical Foundations of Artificial Intelligence remains one of the key references on symbolic artificial intelligence. He is the author of the influential Game Description Language (GDL) and Knowledge Interchange Format (KIF), the latter of which led to the ISO Common Logic standard.

Neuro-symbolic AI is a type of artificial intelligence that integrates neural and symbolic AI architectures to address the weaknesses of each, providing a robust AI capable of reasoning, learning, and cognitive modeling. As argued by Leslie Valiant and others, the effective construction of rich computational cognitive models demands the combination of symbolic reasoning and efficient machine learning. Gary Marcus, argued, "We cannot construct rich cognitive models in an adequate, automated way without the triumvirate of hybrid architecture, rich prior knowledge, and sophisticated techniques for reasoning." Further, "To build a robust, knowledge-driven approach to AI we must have the machinery of symbol manipulation in our toolkit. Too much useful knowledge is abstract to proceed without tools that represent and manipulate abstraction, and to date, the only known machinery that can manipulate such abstract knowledge reliably is the apparatus of symbol manipulation."

Yixin Chen is a computer scientist, academic, and author. He is a professor of computer science and engineering at Washington University in St. Louis.

Giuseppe De Giacomo is an Italian computer scientist. He is a Professor of Computer Science at the Department of Computer Science, University of Oxford, and Professor of Computer Engineering at the Department of Computer, Control and Management Engineering, Sapienza University of Rome. He is also a Senior Research Fellow at the Green Templeton College.

<span class="mw-page-title-main">Nitesh Chawla</span> Computer scientist

Nitesh V. Chawla is a computer scientist and data scientist currently serving as the Frank M. Freimann Professor of Computer Science and Engineering at the University of Notre Dame. He is the Founding Director of the Lucy Family Institute for Data & Society. Chawla's research expertise lies in machine learning, data science, and network science. He is also the co-founder of Aunalytics, a data science software and cloud computing company. Chawla is a Fellow of the: American Association for the Advancement of Sciences (AAAS), Association for Computing Machinery (ACM), Association for the Advancement of Artificial Intelligence, Asia Pacific Artificial Intelligence Association, and Institute of Electrical and Electronics Engineers (IEEE). He has received multiple awards, including the 1st Source Bank Commercialization Award in 2017, Outstanding Teaching Award (twice), IEEE CIS Early Career Award, National Academy of Engineering New Faculty Award, and the IBM Big Data Award in 2013. One of Chawla's most recognized publications, with a citation count of over 30,000, is the research paper titled "SMOTE: Synthetic Minority Over-sampling Technique." Chawla's research has garnered a citation count of over 65,000 and an H-index of 81.

References

  1. 1 2 AAAI FELLOWS
  2. 1 2 AAAS Fellows
  3. 1 2 ACM Fellows 2013
  4. Henry A Kautz homepage on Rochester
  5. 1 2 3 4 5 6 7 "Henry Kautz CV in Thesis, May 1987". Archived from the original on 2015-09-23. Retrieved 2015-01-14.
  6. Henry Kautz CV at University of Washington April 2000
  7. "Henry Kautz CV, January 2015" (PDF). Archived from the original (PDF) on 2015-01-14. Retrieved 2015-01-14.
  8. "papers of Henry A. Kautz". Archived from the original on 2015-01-14. Retrieved 2015-01-14.