Мартин Дайер - Martin Dyer

Мартин Эдвард Дайер (родился 16 июля 1946 г. в г. Райд, остров Уайт, Англия ) это профессор в Школе вычислительной техники Университет Лидса, Лидс, Англия. Окончил Университет Лидса в 1967 г. получил степень магистра в Имперский колледж Лондон в 1968 г. и докторскую степень в Университет Лидса в 1979 году. Его исследовательские интересы лежат в теоретическая информатика, дискретная оптимизация и комбинаторика. В настоящее время он фокусируется на сложности подсчета и эффективности алгоритмов цепей Маркова для приближенного подсчета.

Ключевые вклады

Четыре ключевых вклада Мартина Дайера:

  1. алгоритм полиномиального времени для аппроксимации объема выпуклые тела (с участием Алан Фриз и Равиндран Каннан )[1]
  2. линейное программирование с фиксированными размерами
  3. метод соединения путей для доказательства перемешивания цепей Маркова (с Рассом Бубли)[2]
  4. сложность подсчета проблем удовлетворения ограничений

Награды и награды

В 1991 году профессор Дайер получил Премия Фулкерсона по дискретной математике (совместно с Аланом Фризом и Рави Каннаном за работу «Алгоритм со случайным полиномиальным временем для аппроксимации объема выпуклых тел» в журнале Ассоциации вычислительной техники), присужденной Американским математическим обществом и Обществом математического программирования.

В 2013 году комитет EATCS Awards в составе Лесли Энн Голдберг Владимиро Сассоне и Фридхельм Мейер-ауф-дер-Хайде (председатель) единогласно решили вручить премию EATCS профессору Мартину Дайеру.

Личное

Мартин Дайер женат на Элисон. У них двое взрослых детей.

использованная литература

  1. ^ М. Дайер, А. Фриз и Р. Каннан (1991). «Случайный полиномиальный алгоритм аппроксимации объема выпуклых тел». Журнал ACM. 38 (1): 1–17. Дои:10.1145/102782.102783.
  2. ^ Р. Бубли и М. Э. Дайер (1997). Связь по путям: метод доказательства быстрого перемешивания в цепях Маркова. Материалы 38-го ежегодного симпозиума по основам информатики, IEEE. С. 223–231. CiteSeerX  10.1.1.385.5367. Дои:10.1109 / SFCS.1997.646111. ISBN  978-0-8186-8197-4.

внешние ссылки