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