Martin Edward Dyer (nacido el 16 de julio de 1946 en Ryde, Isla de Wight , Inglaterra ) es profesor en la Escuela de Computación de la Universidad de Leeds , Leeds , Inglaterra . Se graduó de la Universidad de Leeds en 1967, obtuvo su maestría en el Imperial College London en 1968 y su doctorado en la Universidad de Leeds en 1979. Sus intereses de investigación se encuentran en la informática teórica , la optimización discreta y la combinatoria.. Actualmente, se centra en la complejidad del conteo y la eficiencia de los algoritmos de cadena de Markov para el conteo aproximado.
Contribuciones clave
Cuatro contribuciones clave hechas por Martin Dyer son:
- algoritmo de tiempo polinomial para aproximar el volumen de cuerpos convexos (con Alan Frieze y Ravindran Kannan ) [1]
- programación lineal en dimensiones fijas
- el método de acoplamiento de ruta para probar la mezcla de cadenas de Markov (con Russ Bubley) [2]
- Complejidad de contar problemas de satisfacción de restricciones.
Premios y honores
En 1991, el profesor Dyer recibió el Premio Fulkerson en Matemáticas Discretas (junto con Alan Frieze y Ravi Kannan por el artículo "Un algoritmo de tiempo polinomial aleatorio para aproximar el volumen de cuerpos convexos" en el Journal of the Association for Computing Machinery) otorgado por la Sociedad Americana de Matemáticas y Sociedad de Programación Matemática.
En 2013, el Comité de Premios de la Asociación Europea de Informática Teórica (EATCS), integrado por Leslie Ann Goldberg , Vladimiro Sassone y Friedhelm Meyer auf der Heide (presidente), decidió por unanimidad otorgar el premio EATCS al profesor Martin Dyer.
Personal
Martin Dyer está casado con Alison. Tienen dos hijos adultos.
Referencias
- ^ M. Dyer, A. Frieze y R. Kannan (1991). "Un algoritmo de tiempo polinomial aleatorio para aproximar el volumen de cuerpos convexos". Revista de la ACM . 38 (1): 1-17. doi : 10.1145 / 102782.102783 . S2CID 13268711 .
- ^ R. Bubley y ME Dyer (1997). "Acoplamiento de ruta: una técnica para probar una mezcla rápida en cadenas de Markov". Actas 38º Simposio Anual sobre Fundamentos de la Informática . Actas del 38º Simposio Anual sobre Fundamentos de las Ciencias de la Computación, IEEE . págs. 223-231. CiteSeerX 10.1.1.385.5367 . doi : 10.1109 / SFCS.1997.646111 . ISBN 978-0-8186-8197-4. S2CID 18114361 .
enlaces externos
- Página web de Martin Dyer
- Documento ganador del premio Fulkerson
- Martin E. Dyer en el servidor de bibliografía DBLP