Henry Kautz


De Wikipedia, la enciclopedia libre
Saltar a navegación Saltar a búsqueda

Henry A. Kautz (nacido en 1956) es un científico informático , director fundador del Instituto de Ciencia de Datos y profesor de la Universidad de Rochester . Está interesado en la representación del conocimiento , la inteligencia artificial , la ciencia de datos y la informática generalizada . [4]

Biografía

Kautz nació en 1956 en Youngstown, Ohio .

Kautz ingresó al Case Institute of Technology en 1974, luego, un año después, se transfirió a la Universidad de Cornell y obtuvo su licenciatura en inglés y en matemáticas con los más altos honores en 1978 allí. Escribió obras de teatro durante una beca de un año para un programa de escritura en la Universidad Johns Hopkins y obtuvo una maestría en los Seminarios de escritura en 1980. Como estudiante extranjero apoyado por la Connaught Fellowship, se inscribió en la Universidad de Toronto en 1980. Kautz completó su maestría tesis Una lógica dinámica de primer orden para la planificación bajo la supervisión de C. Raymond Perrault , y luego recibió su maestría en ciencias de la computación en 1982. Antes de recibir su doctorado. de la Universidad de Rochesteren 1987 fue asistente de enseñanza de Patrick Hayes (otoño de 1983), asistente de enseñanza (primavera de 1984) y asistente de investigación (1982-1983) de su asesor de tesis James F. Allen . Su tesis doctoral titulada Una teoría formal del reconocimiento de planes (1987). [5] [6]

Kautz fue profesor de Ciencias de la Computación en la Universidad de Washington (2000-2006) después de trabajar en AT&T Bell Labs y AT&T Laboratories . Ahora es profesor en la Universidad de Rochester y director fundador del Instituto de Ciencia de Datos, después de haber trabajado como director de Sistemas Inteligentes en Kodak Research Laboratories (2006-2007). [7]

Trabajos seleccionados

Kautz trabaja en amplias áreas que van desde la planificación, la representación del conocimiento y la inteligencia artificial hasta la minería de datos , la computación humana y el crowdsourcing , la computación ubicua , las computadoras portátiles, la tecnología de asistencia y la salud. Algunas de sus obras notables se enumeran a continuación y los detalles se pueden ver en su sitio web en la Universidad de Rochester . [8]

Libros

  • 1991. Razonamiento sobre planes . (con James F. Allen , R. Pelavin y J. Tenenberg) Morgan Kaufmann, 1991. ISBN  978-1493306138

Artículos

  • 2013. Premio al impacto de diez años Conferencia conjunta internacional de ACM sobre informática ubicua y ubicua
  • 2013. Notable Paper Primera Conferencia AAAI sobre Computación Humana y Crowdsourcing (HCOMP)
  • 2012. Mejor artículo Quinta Conferencia Internacional ACM sobre búsqueda web y minería de datos (WSDM)
  • 2005. Best Paper IEEE International Symposium on Wearable Computers (ISWC)
  • 2004 y 2006. 1er lugar en el Concurso de Planificación ICAPS (Optimal Track)
  • 1996 y 2004. Mejor Ponencia sobre Inteligencia Artificial (AAAI)
  • 1993 & 2012. Notable Paper Conference on Artificial Intelligence (AAAI)
  • 1989. Best Paper International Conference on Knowledge Representation & Reasoning (KRR)
  • 1988. Mejor artículo de la Sociedad Canadiense de Estudios Computacionales de Inteligencia (CSCSI)

Patentar

  • 1993. Optimización de Bases de Información . Patente de EE. UU. Expedida en noviembre de 1993
  • 1997. Mechanism for Constraint Satisfaction . Patente de EE. UU. Expedida en junio de 1997
  • 1997. Técnicas de filtrado de mensajes . Patente de EE. UU. Expedida en abril de 1997

AI Limericks

Henry Kautz creó limericks sobre IA, que se pueden ver aquí (consultado el 14 de enero de 2015) .

Premios y honores

  • 1989. Premio IJCAI Computers and Thought .
el premio principal para investigadores de inteligencia artificial menores de 35 años .
  • 1991. Miembro de la AAAI . [1]
"Para contribuciones a muchas áreas de la inteligencia artificial , desde el reconocimiento de planes hasta la representación del conocimiento y los agentes de software".
  • 2006. Miembro de la AAAS . [2]
  • 2010-2012. Presidente de AAAI .
  • 2013. ACM Fellow. [3]
"Por contribuciones a la inteligencia artificial y la computación generalizada con aplicaciones para la tecnología de asistencia y la salud".
  • 2013. Premio Impacto de 10 años de la Conferencia conjunta internacional ACM sobre Computación ubicua y ubicua .
  • 2018. ACM- Premio AAAI Allen Newell.

Referencias

  1. ^ a b AMIGOS DE AAAI
  2. ^ a b Becarios de AAAS
  3. ^ a b Becarios ACM 2013
  4. ^ Página de inicio de Henry A Kautz en Rochester
  5. ^ Henry Kautz CV en Tesis, mayo de 1987
  6. ^ Henry Kautz CV en la Universidad de Washington, abril de 2000
  7. ^ Henry Kautz CV, enero de 2015
  8. ^ papeles de Henry A. Kautz

enlaces externos

  • Página de inicio de Henry A Kautz
  • Google Scholar de Henry Kautz , el índice h es 65.
Obtenido de " https://en.wikipedia.org/w/index.php?title=Henry_Kautz&oldid=1022044534 "