Martin Dyer

Martin Edward Dyer (born 16 July 1946 in Ryde, Isle of Wight, England) is a professor in the School of Computing at the University of Leeds, Leeds, England. He graduated from the University of Leeds in 1967, obtained his MSc from Imperial College London in 1968 and his PhD from the University of Leeds in 1979. His research interests lie in theoretical computer science, discrete optimization and combinatorics. Currently, he focuses on the complexity of counting and the efficiency of Markov chain algorithms for approximate counting.

Key contributions

Four key contributions made by Martin Dyer are:

  1. polynomial time algorithm for approximating the volume of convex bodies (with Alan Frieze and Ravindran Kannan)[1]
  2. linear programming in fixed dimensions
  3. the path coupling method for proving mixing of Markov chains (with Russ Bubley)[2]
  4. complexity of counting constraint satisfaction problems

Awards and honours

In 1991, Professor Dyer received the Fulkerson Prize in Discrete Mathematics (Jointly with Alan Frieze and Ravi Kannan for the paper "A random polynomial time algorithm for approximating the volume of convex bodies" in the Journal of the Association for Computing Machinery) awarded by the American Mathematical Society and the Mathematical Programming Society.

In 2013, the EATCS Awards Committee consisting of Leslie Ann Goldberg, Vladimiro Sassone and Friedhelm Meyer auf der Heide (chair), has unanimously decided to give the EATCS Award to Professor Martin Dyer.

Personal

Martin Dyer is married to Alison. They have two adult children.

gollark: I sell the concept of computers to the shopkeeper.
gollark: I sell the shopkeeper knowledge of glass.
gollark: I sell the shopkeeper the information I gained earlier when I walked around the entire world in arbitrary direction #2.
gollark: Telling HelloBoi to revolt communistically with me.
gollark: I trigger a communist revolution.

References
  1. M.Dyer, A.Frieze and R.Kannan (1991). "A random polynomial-time algorithm for approximating the volume of convex bodies". Journal of the ACM. 38 (1): 1–17. doi:10.1145/102782.102783.
  2. R. Bubley and M. E. Dyer (1997). Path coupling: a technique for proving rapid mixing in Markov chains. Proceedings of the 38th Annual Symposium on Foundations of Computer Science, IEEE. pp. 223–231. CiteSeerX 10.1.1.385.5367. doi:10.1109/SFCS.1997.646111. ISBN 978-0-8186-8197-4.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.