WikiDer > Мэтт Кауфманн

Matt Kaufmann

Мэтт Кауфманн
Мэтт Кауфманн (справа) с Дж. Стротер Мур 2006
Национальность	Соединенные Штаты
Род занятий	Специалист в области информатики
Работодатель	Техасский университет в Остине
Известен	Язык программирования Лисп, Доказательство теорем Бойера-Мура
Награды	ACM Награда за программную систему

Мэтт Кауфманн старший научный сотрудник отдела компьютерных наук Техасский университет в Остине, Соединенные Штаты. Он был лауреатом премии 2005 г. ACM Награда за программную систему вместе с Роберт С. Бойер и Дж. Стротер Мур, за его работу над Инструмент доказательства теорем Бойера-Мура.^[1]

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

^ Мэтт Кауфман: Доказательство теорем Бойера-Мура (2005) В архиве 2009-08-27 на Wayback Machine, Ассоциация вычислительной техники, 2005.

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

Домашняя страница Мэтта Кауфманна
Мэтт Кауфманн в DBLP Сервер библиографии

P ≟ NP

Эта биографическая статья, относящаяся к специалист в области информатики это заглушка. Вы можете помочь Википедии расширяя это.

Эта биографическая статья, относящаяся к специалисту по компьютерам в Соединенных Штатах, является заглушка. Вы можете помочь Википедии расширяя это.