Científico informático británico
Michael Stewart Paterson es un científico 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.
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 Tecnológico 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 ganadores del Premio Turing y el Premio Gödel . En 2017 se celebró otro taller en honor a su 75 cumpleaños, que coincidió con el taller por el décimo aniversario del centro DIMAP. Por su trabajo sobre 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 de grafos recibió el premio al mejor artículo en la conferencia ICALP en 2006. Mike Paterson recibió un Premio Lester R. Ford en 2010. [3] Es miembro de la Royal Society desde 2001 y ha sido presidente de la Asociación Europea de Ciencias Informáticas Teóricas (EATCS). Según el presidente de la EATCS, Maurice Nivat , Paterson jugó un gran papel a fines de la década de 1960 en el reconocimiento de la informática como ciencia, "y esa informática teórica, que es muy cercana a las matemáticas pero distinta en su motivación e inspiración, es de hecho un campo de investigación desafiante y fructífero". [4]
Paterson también es un entusiasta montañista .
Publicaciones seleccionadas
- M. Dyer, LA Goldberg y M. Paterson, Sobre el conteo de homomorfismos en 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 antiferromagnético en Z 2 , LMS J. Comput. Math. 9 (2006) 1–20.
- LA Goldberg, R. Martin y M. Paterson, Mezcla espacial fuerte para gráficos reticulares con menos colores, SICOMP , 35(2) 486–517 (2005).
- M. Albert y M. Paterson, Límites para la tasa de crecimiento de números de meandro, Actas de la 16ª Conferencia Internacional Anual sobre Series de Potencia Formales 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 los protocolos basados en reconocimiento y retroceso, SICOMP, 88 (2004) 313–331.
- M. Adler, P. Berenbrink, T. Friedetzky, LA Goldberg, P. Goldberg y M. Paterson, Una regla de programación justa y proporcionada con un buen rendimiento en el peor de los casos, Actas del 15º Simposio Anual de la ACM sobre Algoritmos y Arquitecturas Paralelas (SPAA 2003), 101–108 (2003).
- LA Goldberg, M. Jerrum y M. Paterson, La complejidad computacional de los sistemas de espín de dos estados, Random Structures and Algorithms, 23(2) 133–154 (2003).
- K. Iwama, A. Matsuura y M. Paterson, Una familia de NFA que necesitan 2 estados deterministas n -alfa, Theoretical Computer Science 301(1–3), 451–462 (2003).
- LA Goldberg, S. Kelk y M. Paterson, La complejidad de elegir una coloración H de manera (casi) uniforme 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, Parallel Processing Letters 12(1), 23–29 (2002).
Véase también
Referencias
- ^ Base de datos de genealogía SIGACT
- ^ Mike Paterson en el Proyecto de Genealogía Matemática
- ^ Paterson, Mike; Zwick, Uri (2009). "Saliente". American Mathematical Monthly . 116 (1): 19–44. doi :10.4169/193009709x469797.
- ^ Maurice Nivat, Sobre el nacimiento de la informática teórica , resumen de la charla pronunciada en el 66º cumpleaños de Paterson. [1]
Enlaces externos
- Sitio web oficial de la 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