Henry Kautz

Henry A. Kautz
Född 1956 (66–67 år)
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)
Utmärkelser

IJCAI Computers and Thought Award (1989) AAAI Fellow (1997) AAAS Fellow (2006) ACM Fellow (2013)
Vetenskaplig karriär
Fält

Artificiell intelligens Datavetenskap Pervasive Computing
institutioner



University of Rochester Kodak Research Laboratories University of Washington AT&T Laboratories Bell Labs
Avhandling   En formell teori om planigenkänning. (1987)
Doktorand rådgivare James F. Allen
Andra akademiska rådgivare C. Raymond Perrault (mästarhandledare)
Hemsida www .cs .rochester .edu /u /kautz /

Henry A. Kautz (född 1956) är en datavetare , grundare av Institutet för datavetenskap och professor vid University of Rochester . Han är intresserad av kunskapsrepresentation , artificiell intelligens , datavetenskap och pervasive computing .

Biografi

Kautz föddes 1956 i Youngstown, Ohio .

Kautz gick in på Case Institute of Technology 1974, sedan ett år senare, flyttade han till Cornell University och tog sin kandidatexamen i engelska och i matematik 1978 där. Han skrev pjäser under ett ettårigt program för kreativt skrivande vid Johns Hopkins University och tog en MA vid Writing Seminars 1980. Som utländsk student med stöd av Connaught Fellowship skrev han in sig vid University of Toronto 1980. Kautz avslutade sin masterexamen. avhandling A First-Order Dynamic Logic for Planning under överinseende av C. Raymond Perrault , och tog sedan sin MS i datavetenskap 1982. Innan han tog sin Ph.D. från University of Rochester 1987 var han lärarassistent för Patrick Hayes och lärarassistent och forskningsassistent för sin avhandlingsrådgivare James F. Allen . Hans doktorsavhandling hade titeln A Formal Theory of Plan Recognition (1987).

Kautz var professor i datavetenskap vid University of Washington (2000-2006) efter att ha arbetat på AT&T Bell Labs och AT&T Laboratories . Han är nu [ när? ] Professor vid University of Rochester och grundare av Institute for Data Science efter att ha arbetat som chef för Intelligent Systems vid Kodak Research Laboratories ( 2006-2007).

Utvalda verk

Kautz arbetar med breda områden som sträcker sig från planering, kunskapsrepresentation och artificiell intelligens till datautvinning , mänskliga beräkningar och crowdsourcing , allestädes närvarande datorer , bärbara datorer, hjälpmedel och hälsa.

Böcker

  •   1991. Resonemang om planer . (med James F. Allen , R. Pelavin och J. Tenenberg) Morgan Kaufmann, 1991. ISBN 978-1493306138

Artiklar

Patent

  • 1993. Optimering av informationsbaser . Amerikanskt patent utfärdat november 1993
  • 1997. Mechanism for Constraint Satisfaction . USA-patent utfärdat juni 1997
  • 1997. Meddelandefiltreringstekniker . Amerikanskt patent utfärdat april 1997

AI Limericks

Henry Kautz skapade limericks på AI, som kan ses här (hämtad 14 januari 2015) .

Pris och ära

det främsta priset för artificiell intelligens forskare under 35 år .
"För bidrag till många områden av artificiell intelligens , från planigenkänning till kunskapsrepresentation till mjukvaruagenter."
"För bidrag till artificiell intelligens och pervasive computing med applikationer till hjälpmedel och hälsa."

externa länkar