stringtranslate.com

Martín Dyer

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ó en la Universidad de Leeds en 1967, obtuvo su maestría en el Imperial College de Londres 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:

  1. Algoritmo de tiempo polinómico para aproximar el volumen de cuerpos convexos (con Alan Frieze y Ravindran Kannan ) [1]
  2. programación lineal en dimensiones fijas
  3. el método de acoplamiento de trayectorias para demostrar la mezcla de cadenas de Markov (con Russ Bubley) [2]
  4. 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 Estadounidense de Matemáticas y Sociedad de Programación Matemática. En 2021 recibió el Premio Gödel por el artículo "Una dicotomía eficaz para el problema de satisfacción de las restricciones de conteo". SIAM J. Computación. 42(3): 1245-1274 (2013) (Conjuntamente con David Richerby), patrocinado conjuntamente por la Asociación Europea de Ciencias de la Computación Teórica y ACM SIGACT. (Otros destinatarios contemporáneos fueron Andrei Bulatov, Jin-Yi Cai, Xi Chen ).

En 2013, el comité de premios de la Asociación Europea de Ciencias de la Computación Teórica (EATCS), formado 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

  1. ^ M. Dyer, A. Frieze y R. Kannan (1991). "Un algoritmo aleatorio de tiempo polinómico para aproximar el volumen de cuerpos convexos". Revista de la ACM . 38 (1): 1–17. doi : 10.1145/102782.102783 . S2CID  13268711.
  2. ^ R. Bubley y ME Dyer (1997). "Acoplamiento de rutas: una técnica para demostrar una mezcla rápida en cadenas de Markov". Actas del 38º Simposio Anual sobre Fundamentos de la Informática . 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