Martin Dyer

Martin Edward Dyer (Geboren am 16. Juli 1946 in Ryde, Isle of Wight, England) ist ein Professor in der School of Computing am Universität Leeds, Leeds, England. Er absolvierte die Universität Leeds 1967 erhielt er seinen MSC von Imperial College London 1968 und seine Doktorarbeit aus dem Universität Leeds 1979. Seine Forschungsinteressen liegen in Theoretische Informatik, Diskrete Optimierung und Kombinatorik. Derzeit konzentriert er sich auf die Komplexität des Zählens und die Effizienz von Markov -Kettenalgorithmen für die ungefähre Zählung.

Schlüsselbeiträge

Vier wichtige Beiträge von Martin Dyer sind:

  1. Polynomzeitalgorithmus zur Annäherung an das Volumen von konvexe Körper (mit Alan Frieze und Ravindran Kannan)[1]
  2. Lineare Programmierung in festen Abmessungen
  3. Die Pfadkopplungsmethode zum Nachweis der Mischung von Markov -Ketten (mit Russ Bobley)[2]
  4. Komplexität des Zählens von Problemen zur Beschränkungsprobleme

Auszeichnungen und Ehrungen

1991 erhielt Professor Dyer die Fulkerson -Preis In diskreten Mathematik (gemeinsam mit Alan Frieze und Ravi Kannan für das Papier "Ein zufälliger Polynomzeitalgorithmus zur Annäherung des Volumens der konvexen Körper" im Journal der Association for Computing Machinery), die von der American Mathematical Society und der Mathematical Programing Society vergeben wurde. Im Jahr 2021 wurde er mit dem ausgezeichnet Godel -Preis Für das Papier "eine wirksame Dichotomie für das Problem der Zählung der Beschränkung der Beschränkung". Siam J. Computing. 42 (3): 1245-1274 (2013) (gemeinsam mit David Richerby), der gemeinsam von der Europäischen Vereinigung der theoretischen Informatik und des ACM Sigact gesponsert wird. (Andere zeitgenössische Empfänger waren Andrei Bulatov, Jin-yi Cai, Xi Chen.))

Im Jahr 2013 der European Association for Theoretical Information (EATCS) Awards Committee, bestehend aus Leslie Ann Goldberg, Vladimiro Sassone und Friedhelm Meyer Auf der Heide (Vorsitzender), beschlossen einstimmig, dem Eatcs Award an Professor Martin Dyer zu vergeben.

persönlich

Martin Dyer ist mit Alison verheiratet. Sie haben zwei erwachsene Kinder.

Verweise

  1. ^ M.Dyer, A.Frize und R.Kannan (1991). "Ein zufälliger Polynom-Zeit-Algorithmus zur Annäherung an das Volumen der konvexen Körper". Journal of the ACM. 38 (1): 1–17. doi:10.1145/102782.102783. S2CID 13268711.
  2. ^ R. Bobley und M. E. Dyer (1997). "Pfadkupplung: Eine Technik zum Nachweis des schnellen Mischens in Markov -Ketten". Proceedings 38. jährliches Symposium für Grundlagen der Informatik. Verfahren des 38. jährlichen Symposiums für Fundamente der Informatik, IEEE. S. 223–231. Citeseerx 10.1.1.385.5367. doi:10.1109/sfcs.1997.646111. ISBN 978-0-8186-8197-4. S2CID 18114361.

Externe Links