Перейти к навигации Перейти к поиску
| Мэтт Кауфманн | |
|---|---|
 Мэтт Кауфманн (справа) с Дж. Стротером Муром, 2006 г. | |
| Национальность | Соединенные Штаты |
| Занятие | Специалист в области информатики |
| Работодатель | Техасский университет в Остине |
| Известен | Язык программирования Lisp , средство доказательства теорем Бойера-Мура |
| Награды | Премия ACM Software System |
Мэтт Кауфманн - старший научный сотрудник отдела компьютерных наук Техасского университета в Остине , США. Он был лауреатом премии ACM Software System Award 2005 вместе с Робертом С. Бойером и Дж. Стротером Муром за работу над устройством доказательства теорем Бойера-Мура . [1]
Ссылки [ править ]
- ↑ Мэтт Кауфман: Доказательство теорем Бойера-Мура (2005). Архивировано 27августа 2009 г.в Wayback Machine , Association for Computing Machinery , 2005.
Внешние ссылки [ править ]
- Домашняя страница Мэтта Кауфманна
- Мэтт Кауфманн из Библиографического сервера DBLP
 | Эта биографическая статья, относящаяся к специалисту по компьютерам в Соединенных Штатах, незавершена . Вы можете помочь Википедии, расширив ее . |