Мартин Дайер
Мартин Эдвард Дайер (родился 16 июля 1946 года в Райде, остров Уайт , Англия ) — профессор Школы вычислительной техники Университета Лидса , Лидс , Англия . Он окончил Университет Лидса в 1967 году, получил степень магистра в Имперском колледже Лондона в 1968 году и докторскую степень в Университете Лидса в 1979 году. Его исследовательские интересы лежат в области теоретической информатики , дискретной оптимизации и комбинаторики . В настоящее время он фокусируется на сложности счета и эффективности алгоритмов цепей Маркова для приближенного счета.
Ключевой вклад [ править ]
Четыре ключевых вклада Мартина Дайера:
- алгоритм полиномиального времени для аппроксимации объема выпуклых тел (совместно с Аланом Фризе и Равиндраном Каннаном ) [1]
- линейное программирование в фиксированных размерах
- метод связи путей для доказательства смешивания цепей Маркова (совместно с Рассом Бабли) [2]
- сложность подсчета задач удовлетворения ограничений
Награды и почести [ править ]
В 1991 году профессор Дайер получил премию Фулкерсона по дискретной математике (совместно с Аланом Фризе и Рави Каннаном за статью «Алгоритм случайного полиномиального времени для аппроксимации объема выпуклых тел» в Журнале Ассоциации вычислительной техники), присуждаемую Американское математическое общество и Общество математического программирования. В 2021 году он был удостоен премии Геделя за статью «Эффективная дихотомия для проблемы удовлетворения ограничений подсчета». СИАМ Дж. Компьютерные технологии. 42(3): 1245-1274 (2013) (совместно с Дэвидом Ричерби), который спонсируется совместно Европейской ассоциацией теоретической информатики и ACM SIGACT. (Другими получателями-современниками были Андрей Булатов, Цзинь-И Цай, Си Чен .)
В 2013 году комитет по наградам Европейской ассоциации теоретической информатики (EATCS), в состав которого вошли Лесли Энн Голдберг , Владимиро Сассоне и Фридхельм Мейер ауф дер Хайде (председатель), единогласно решил присудить премию EATCS профессору Мартину Дайеру.
Личное [ править ]
Мартин Дайер женат на Элисон. У них двое взрослых детей.
Ссылки [ править ]
- ^ М.Дайер, А.Фриз и Р.Каннан (1991). «Случайный полиномиальный алгоритм аппроксимации объема выпуклых тел» . Журнал АКМ . 38 (1): 1–17. дои : 10.1145/102782.102783 . S2CID 13268711 .
- ^ Р. Бубли и М. Е. Дайер (1997). «Связь путей: метод доказательства быстрого перемешивания в цепях Маркова». Материалы 38-го ежегодного симпозиума по основам информатики . стр. 223–231. CiteSeerX 10.1.1.385.5367 . дои : 10.1109/SFCS.1997.646111 . ISBN 978-0-8186-8197-4 . S2CID 18114361 .
Внешние ссылки [ править ]
- Веб-страница Мартина Дайера
- Статья, получившая премию Фулкерсона
- Мартин Э. Дайер на DBLP библиографическом сервере
| Международный | |
|---|---|
| Национальный | |
| академики | |