Henry Kautz
Henry A. Kautz | |
|---|---|
| Geboren | 1956 (Alter 65–66) |
| Alma Mater | Universität Rochester (PhD 1987) Universität von Toronto (MS 1982) Johns Hopkins Universität (MA 1980) Cornell Universität (AB 1978) Fallinstitut für Technologie (1974-1975) |
| Auszeichnungen | IJCAI -Computer und Gedankenpreis (1989) Aaai Fellow (1997) [1] AAAs Fellow (2006) [2] ACM Fellow (2013) [3] |
| Wissenschaftliche Karriere | |
| Felder | Künstliche Intelligenz Datenwissenschaft Pervasives Computing |
| Institutionen | Universität Rochester Kodak Research Laboratories Universität von Washington AT & T Laboratorien Bell Labs |
| These | Eine formale Theorie der Planerkennung. (1987) |
| Doktorand | James F. Allen |
| Andere akademische Berater | C. Raymond Perrault (Master Supervisor) |
| Webseite | www |
Henry A. Kautz (geboren 1956) ist a Informatiker, Gründungsdirektor des Instituts für Datenwissenschaft und Professor bei Universität Rochester.Er interessiert sich für Wissensrepräsentation, künstliche Intelligenz, Datenwissenschaft und Pervasives Computing.[4]
Biografie
Kautz wurde 1956 in geboren Youngstown, Ohio.[5]
Kautz betrat die Fallinstitut für Technologie 1974, dann ein Jahr später, um zugezogen zu werden auf Cornell Universität und bekam seinen B.A. In Englisch und dort in Mathematik 1978 dort.[5] Er schrieb Stücke während eines einjährigen Fellowship Creative Writing-Programms bei Johns Hopkins Universität und bekam 1980 einen M.A. von den Schreibseminaren.[5] Als ausländischer Student, der vom Connaught Fellowship unterstützt wurde, schrieb er sich ein Universität von Toronto 1980.[5] Kautz beendete seine Masterarbeit Eine dynamische Logik erster Ordnung für die Planung Unter Beobachtung von C. Raymond Perraultund erhielt dann seinen M.S. In der Informatik im Jahr 1982.[5] Bevor er seinen Ph.D. aus Universität Rochester 1987 war er Lehrassistent für Patrick Hayes und ein Lehrassistent und Forschungsassistent für seinen Abschlussberater James F. Allen.[5] Seine Doktorarbeit trug den Titel " Eine formale Theorie der Planerkennung (1987).[5][6]
Kautz war Professor für Informatik bei Universität von Washington (2000-2006) nach der Arbeit bei AT & T Bell Labs und AT & T Laboratorien.Er ist jetzt[wenn?] Professor bei Universität Rochester und Gründungsdirektor des Instituts für Data Science, nachdem er als Direktor von intelligenten Systemen bei der Arbeit gearbeitet hat Kodak Research Laboratories (2006-2007).[7]
Ausgewählte Werke
Kautz arbeitet an weiten Bereichen, die von Planung, Wissensrepräsentation reichen und künstliche Intelligenz zu Data Mining, menschliche Berechnung und Crowdsourcing, Allgegenwärtiges Computer, tragbare Computer, Hilfstechnologie und Gesundheit.[8]
Bücher
- 1991. Argumentation über Pläne. (mit James F. AllenR. Pelavin und J. Tenenberg) Morgan Kaufmann, 1991. ISBN978-1493306138
Artikel
- 2013. 10-Jahres-Impact Award ACM International Joint Conference über Pervasive und Allgegenwärtiges Computer
- 2013. bemerkenswerte Papier erste AAAI -Konferenz auf Menschliche Berechnung und Crowdsourcing (HComp)
- 2012. Bestes Papier fünfter ACM Internationaler Konferenz zur Websuche und Data Mining (WSDM)
- 2005. Bestes Papier IEEE Internationales Symposium auf Tragbare Computer (ISWC)
- 2004 & 2006. 1st Place ICAPS -Planungswettbewerb (optimaler Track)
- 1996 & 2004. Beste Papierkonferenz über Künstliche Intelligenz (Aaai)
- 1993 & 2012. Bemerkenswerte Papierkonferenz über künstliche Intelligenz (AAAI)
- 1989. Bester internationaler Konferenz für Papier Wissensrepräsentation und Argumentation (KRR)
- 1988. Bester Papierkanadische Gesellschaft für Computerstudien der Intelligenz (CSCSI)
Patent
- 1993. Optimierung von Informationsbasen. US -Patent ausgestellt im November 1993
- 1997. Mechanismus zur Begrenzungszufriedenheit. US -Patent ausgestellt im Juni 1997
- 1997. Nachrichtenfilterungstechniken. US -Patent im April 1997 ausgestellt
Ai limericks
Henry Kautz schuf Limericks auf KI, was zu sehen ist Hier (abgerufen am 14. Januar 2015).
Auszeichnungen und Ehrungen
- der Premier Award für künstliche Intelligenz Forscher unter 35 Jahren.
- "Für Beiträge zu vielen Bereichen von künstliche Intelligenz, von der Planerkennung bis zur Repräsentation von Wissen bis hin zu Softwareagenten. "
- "Für Beiträge zu künstliche Intelligenz und Pervasives Computing mit Anwendungen für assistive Technologie und Gesundheit. "
- 2013. 10-jährige Auswirkungen Auszeichnung von ACM Internationale gemeinsame Konferenz über durchdringende und Allgegenwärtiges Computer.
- 2018. ACM-Aaai Allen Newell Award.