Генри А. Каутц | |
---|---|
Родившийся | 1956 (64–65 лет) |
Альма-матер | Университет Рочестера (PhD 1987) Университет Торонто (MS 1982) Университет Джона Хопкинса (MA 1980) Корнельский университет (AB 1978) Технологический институт Case (1974-1975) |
Награды | Премия IJCAI Computers and Thought Award (1989). Сотрудник AAAI (1997 г.) [1] Сотрудник AAAS (2006 г.) [2] Сотрудник ACM (2013 г.) [3] |
Научная карьера | |
Поля | Искусственный интеллект Наука о данных Повсеместные вычисления |
Учреждения | Университет Рочестера Исследовательские лаборатории Kodak Вашингтонский университет Лаборатории AT&T Bell Labs |
Тезис | Формальная теория распознавания планов. (1987) |
Докторант | Джеймс Ф. Аллен |
Другие научные консультанты | К. Раймонд Перро (главный супервайзер) |
Веб-сайт | www |
Генри А. Каутц (родился в 1956 г.) - ученый-компьютерщик , директор-основатель Института науки о данных и профессор Рочестерского университета . Он интересуется представлением знаний , искусственным интеллектом , наукой о данных и повсеместными вычислениями . [4]
Биография [ править ]
Каутц родился в 1956 году в Янгстауне, штат Огайо .
Каутц поступил в Технологический институт Кейса в 1974 году, а через год перешел в Корнельский университет и в 1978 году получил там степень бакалавра по английскому языку и математике с отличием. Он писал пьесы во время годичной стажировки по программе писательского мастерства в Университете Джона Хопкинса и получил степень магистра на семинарах по писательскому мастерству в 1980 году. Будучи иностранным студентом при поддержке Connaught Fellowship, он поступил в Университет Торонто в 1980 году. Каутц получил степень магистра. защитил диссертацию «Динамическая логика первого порядка для планирования» под руководством К. Раймонда Перро , а затем получил степень магистра компьютерных наук в 1982 году. из Университета Рочестерав 1987 г. он был ассистентом Патрика Хейса (осень 1983 г.), ассистентом преподавателя (весна 1984 г.) и научным сотрудником (1982–1983 гг.) его научного руководителя Джеймса Ф. Аллена . Его докторская диссертация была названа «Формальная теория распознавания планов» (1987). [5] [6]
Каутц был профессором компьютерных наук в Вашингтонском университете (2000–2006), после работы в лабораториях AT&T Bell Labs и AT&T Laboratories . Сейчас он профессор Университета Рочестера и директор-основатель Института науки о данных после того, как работал директором по интеллектуальным системам в исследовательских лабораториях Kodak (2006-2007 гг.). [7]
Избранные работы [ править ]
Каутц работает в широких областях, от планирования, представления знаний и искусственного интеллекта до интеллектуального анализа данных , человеческих вычислений и краудсорсинга , повсеместных вычислений , носимых компьютеров, вспомогательных технологий и здравоохранения. Некоторые из его известных работ перечислены ниже, а подробности можно увидеть на его веб-сайте в Университете Рочестера . [8]
Книги [ править ]
- 1991. Рассуждения о планах . (с Джеймсом Ф. Алленом , Р. Пелавиным и Дж. Тененбергом) Морган Кауфманн, 1991. ISBN 978-1493306138
Статьи [ править ]
- 2013. 10-летняя награда за влияние. Международная совместная конференция ACM по повсеместным и повсеместным вычислениям.
- 2013. Известный документ Первая конференция AAAI по человеческим вычислениям и краудсорсингу (HCOMP)
- 2012. Лучшая статья Пятая Международная конференция ACM по веб-поиску и интеллектуальному анализу данных (WSDM)
- 2005. Best Paper Международный симпозиум IEEE по носимым компьютерам (ISWC)
- 2004 и 2006 гг. 1-е место в соревновании по планированию ICAPS (оптимальный вариант)
- 1996 и 2004. Конференция "Лучший доклад по искусственному интеллекту" (AAAI)
- 1993 и 2012. Известная конференция по искусственному интеллекту (AAAI)
- 1989. Международная конференция Best Paper по представлению знаний и аргументации (KRR)
- 1988. Лучшая статья Канадского общества вычислительных исследований интеллекта (CSCSI)
Патент [ править ]
- 1993. Оптимизация информационных баз . Патент США выдан в ноябре 1993 г.
- 1997. Механизм удовлетворения ограничений . Патент США выдан в июне 1997 г.
- 1997. Методы фильтрации сообщений . Патент США выдан в апреле 1997 г.
AI Limericks [ править ]
Генри Каутц создал лимерики по ИИ, которые можно увидеть здесь (получено 14 января 2015 г.) .
Награды и награды [ править ]
- 1989. Премия IJCAI «Компьютеры и мысль» .
- главная награда для исследователей искусственного интеллекта в возрасте до 35 лет .
- 1991 г. Член AAAI . [1]
- «За вклад во многие области искусственного интеллекта , от распознавания планов до представления знаний программным агентам».
- 2006. Сотрудник AAAS . [2]
- 2010-2012 гг. Президент AAAI .
- 2013. Сотрудник ACM . [3]
- «За вклад в искусственный интеллект и повсеместные вычисления с приложениями для вспомогательных технологий и здравоохранения».
- 2013. 10-летняя награда совместной конференции ACM International по повсеместным и повсеместным вычислениям .
- 2018. ACM- AAAI Премия Аллена Ньюэлла.
Ссылки [ править ]
- ^ a b ПАРАМЕТРЫ AAAI
- ^ a b Стипендиаты AAAS
- ^ a b Стипендиаты ACM 2013
- ^ Домашняя страница Генри Каутца в Рочестере
- ^ Генри Kautz резюме в Thesis, май 1987
- ^ Генри Kautz резюме в Университете штата Вашингтон апреля 2000 года
- ^ Генри Kautz CV, январь 2015
- ^ документы Генри А. Каутца
Внешние ссылки [ править ]
- Домашняя страница Генри Каутца
- Ученый Google Генри Каутца , индекс Хирша 65.