stringtranslate.com

Mike Paterson

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

Véase también

Referencias

  1. ^ Base de datos de genealogía SIGACT
  2. ^ Mike Paterson en el Proyecto de Genealogía Matemática
  3. ^ Paterson, Mike; Zwick, Uri (2009). "Saliente". American Mathematical Monthly . 116 (1): 19–44. doi :10.4169/193009709x469797.
  4. ^ 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