Michael Stewart Paterson , es un informático británico , que fue director del Centro de Matemáticas Discretas y sus Aplicaciones (DIMAP) en la Universidad de Warwick hasta 2007, y presidente del departamento de informática en 2005.
Mike Paterson | |
---|---|
Nacionalidad | británico |
Educación | Doctor. , Universidad de Cambridge (1967) |
Conocido por | Algoritmos , complejidad |
Premios | Premio Dijkstra (2001) Premio EATCS (2006) |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Instituto de Tecnología de Massachusetts, Universidad de Warwick |
Tesis | Problemas de equivalencia en un modelo de computación (1967) |
Asesor de doctorado | David Park |
Estudiantes de doctorado | Leslie Valiente |
Recibió su Doctorado en Filosofía (Ph.D.) de la Universidad de Cambridge en 1967, bajo la supervisión de David Park . [1] Pasó tres años en el Instituto de Tecnología de Massachusetts (MIT) y se trasladó a la Universidad de Warwick en 1971, donde sigue siendo profesor emérito . [2]
Paterson es un experto en informática teórica con más de 100 publicaciones, especialmente en el diseño y análisis de algoritmos y complejidad computacional . La distinguida carrera de Paterson fue reconocida con el premio EATCS en 2006 y un taller en honor a su 66 cumpleaños en 2008, que incluyó contribuciones de varios galardonados con el premio Turing y el premio Gödel . En 2017 se llevó a cabo otro taller en honor a su 75 cumpleaños, ubicado junto con el taller para el décimo aniversario del centro DIMAP. Por su trabajo en computación distribuida con Fischer y Lynch , recibió el Premio Dijkstra en 2001, y su trabajo con Dyer y Goldberg sobre el conteo de homomorfismos gráficos recibió un premio al mejor artículo en la conferencia ICALP en 2006. Mike Paterson recibió un Lester R. Ford Premio en 2010. [3] Es miembro de la Royal Society desde 2001 y presidente de la Asociación Europea de Ciencias de la Computación Teórica (EATCS). Según el presidente de EATCS, Maurice Nivat , Paterson jugó un gran papel a finales de la década de 1960 en el reconocimiento de la informática como ciencia, "y que la informática teórica, que está muy cerca de las matemáticas pero distinta en su motivación e inspiración, es de hecho una campo de investigación desafiante y fructífero ". [4]
Paterson también es un alpinista entusiasta .
Publicaciones Seleccionadas
- M. Dyer, LA Goldberg y M. Paterson, Sobre el recuento de homomorfismos con gráficos acíclicos dirigidos, Coloquio electrónico sobre complejidad computacional, Informe TR05-121, octubre de 2005.
- LA Goldberg, M. Jalsenius, R. Martin y M. Paterson, Límites de mezcla mejorados para el modelo de Potts anti-ferromagnético en Z 2 , LMS J. Comput. Matemáticas. 9 (2006) 1–20.
- LA Goldberg, R. Martin y M. Paterson, Fuerte mezcla espacial para gráficos de celosía con menos colores, SICOMP , 35 (2) 486–517 (2005).
- M. Albert y M. Paterson, Límites de la tasa de crecimiento de los números de meandros, Actas de la 16ª Conferencia Internacional Anual sobre Series de Poder Formal y Combinatoria Algebraica, 2004, Universidad de Columbia Británica (Vancouver BC, Canadá).
- LA Goldberg, M. Jerrum, S. Kannan y M. Paterson, Un límite en la capacidad de retroceso y protocolos basados en reconocimiento, SICOMP, 88 (2004) 313–331.
- M. Adler, P. Berenbrink, T. Friedetzky, LA Goldberg, P. Goldberg y M. Paterson, Una regla de programación justa proporcional con buen desempeño en el peor de los casos, Proc. del 15º Simposio Anual de ACM sobre Arquitecturas y Algoritmos Paralelos (SPAA 2003), 101–108 (2003).
- LA Goldberg, M. Jerrum y M. Paterson, La complejidad computacional de los sistemas de espín de dos estados, Estructuras y algoritmos aleatorios, 23 (2) 133-154 (2003).
- K. Iwama, A. Matsuura y M. Paterson, Una familia de NFA que necesitan 2 estados n- alfa deterministas, Theoretical Computer Science 301 (1-3), 451-462 (2003).
- LA Goldberg, S. Kelk y M. Paterson, La complejidad de elegir una coloración H (casi) uniformemente al azar, SICOMP, 33 (2) 416–432 (2004) copyright SIAM.
- M. Paterson, H. Schroeder, O. Sykora e I. Vrto, Sobre comunicaciones de permutación en anillos totalmente ópticos, Cartas de procesamiento paralelo 12 (1), 23-29 (2002).
Ver también
Referencias
- ^ Datos genealógicos SIGACT
- ^ Mike Paterson en el Proyecto de genealogía matemática
- ^ Paterson, Mike; Zwick, Uri (2009). "Voladizo" . American Mathematical Monthly . 116 (1): 19–44. doi : 10.4169 / 193009709x469797 .
- ^ Maurice Nivat, Acerca del nacimiento de la informática teórica , resumen de la charla celebrada en el 66 cumpleaños de Paterson. [1]
enlaces externos
- Sitio web oficial , Universidad de Warwick
- Taller en honor al 66 cumpleaños del profesor Mike Paterson
- Taller en honor al 75 cumpleaños de Mike Paterson
- Mike Paterson en el servidor de bibliografía DBLP