Генри Каутц - Henry Kautz

Генри А. Каутц
Родившийся1956 (63–64 года)
Альма-матерУниверситет Рочестера (Доктор философии 1987 г.)
Университет Торонто (MS 1982)
Университет Джона Хопкинса (MA 1980)
Корнелл Университет (AB 1978)
Кейс технологический институт (1974-1975)
НаградыПремия IJCAI Computers and Thought Award (1989)
AAAI Товарищ (1997) [1] AAAS Товарищ (2006) [2]
Член ACM (2013) [3]
Научная карьера
ПоляИскусственный интеллект
Наука о данных
Всепроникающие вычисления
УчрежденияУниверситет Рочестера
Kodak Research Laboratories
Вашингтонский университет
AT&T лаборатории
Bell Labs
ТезисФормальная теория распознавания планов.  (1987)
ДокторантДжеймс Ф. Аллен
Другие научные консультантыК. Раймонд Перро (главный супервайзер)
Интернет сайтwww.cs.rochester.edu/ u/ kautz/

Генри А. Каутц (1956 г.р.) специалист в области информатики, Директор-учредитель Институт науки о данных и профессор в Университет Рочестера. Он интересуется представление знаний, искусственный интеллект, наука о данных и всеобъемлющие вычисления.[4]

биография

Каутц родился в 1956 году в г. Янгстаун, Огайо.

Каутц вошел в Кейс технологический институт в 1974 г., а через год переведен в Корнелл Университет и получил степень бакалавра. в Англии и по математике с отличием в 1978 г. Он писал пьесы во время годичной стажировки по написанию программы в Университет Джона Хопкинса и получил степень магистра на семинарах по писательскому мастерству в 1980 году. Будучи иностранным студентом, поддерживаемым Connaught Fellowship, он поступил в Университет Торонто в 1980 г. Каутц защитил кандидатскую диссертацию. Динамическая логика первого порядка для планирования под присмотром К. Раймонд Перро, а затем получил свой M.S. в области информатики в 1982 году. До получения докторской степени. из Университет Рочестера в 1987 году он был ассистентом преподавателя Патрик Хейс (Осень 1983 г.), ассистент преподавателя (весна 1984 г.) и научный сотрудник (1982–1983 гг.) Его научного руководителя. Джеймс Ф. Аллен. Его докторская диссертация была названа Формальная теория распознавания планов (1987).[5][6]

Каутц был профессором компьютерных наук в Вашингтонский университет (2000-2006) после работы в AT&T Bell Labs и AT&T лаборатории. Сейчас он профессор Университет Рочестера и директор-основатель Института науки о данных после того, как работал директором по интеллектуальным системам в Kodak Research Laboratories (2006-2007).[7]

Избранные работы

Каутц работает в самых разных областях, начиная от планирования, представления знаний и искуственный интеллект к сбор данных, человеческие вычисления и краудсорсинг, повсеместные вычисления, носимые компьютеры, вспомогательные технологии и здоровье. Некоторые из его известных работ перечислены ниже, а подробности можно увидеть на его веб-сайте по адресу Университет Рочестера.[8]

Книги

  • 1991. Рассуждения о планах. (с Джеймс Ф. Аллен, Р. Пелавин и Дж. Тененберг) Морган Кауфманн, 1991. ISBN  978-1493306138

Статьи

Патент

  • 1993. Оптимизация информационных баз. Патент США выдан в ноябре 1993 г.
  • 1997. Механизм удовлетворения ограничений. Патент США выдан в июне 1997 г.
  • 1997. Методы фильтрации сообщений. Патент США выдан в апреле 1997 г.

AI Лимерикс

Генри Каутц создал лимерики по ИИ, которые можно увидеть здесь (получено 14 января 2015 г.).

Награды и отличия

главная награда за искусственный интеллект исследователи в возрасте до 35 лет.
"За вклад во многие области искусственный интеллект, от распознавания плана до представления знаний программным агентам ".
  • 2006. AAAS Товарищ.[2]
  • 2010-2012 гг. президент AAAI.
  • 2013. ACM Товарищ.[3]
"За взносы в искусственный интеллект и всеобъемлющие вычисления с приложениями для вспомогательных технологий и здоровья ".
  • 2013. Премия за 10-летнее влияние ACM Международная совместная конференция по всеобъемлющим и Повсеместные вычисления.
  • 2018. ACM-AAAI Премия Аллена Ньюэлла.

Рекомендации

внешняя ссылка