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