stringtranslate.com

Mike Paterson

Michael Stewart Paterson , es un informático británico , que fue director del Centro de Matemáticas Discretas y sus Aplicaciones (DIMAP) de 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 premios Turing y Premio Gödel . En 2017 se celebró otro taller en honor a su 75.º cumpleaños, ubicado junto al taller para 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 Lester R. Ford Premio en 2010. [3] Es miembro de la Royal Society desde 2001 y ha sido presidente de la Asociación Europea de Ciencias de la Computación Teórica (EATCS). Según el presidente de la EATCS, Maurice Nivat , Paterson jugó un gran papel a finales de los años 1960 en el reconocimiento de la informática como ciencia, "y esa 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 es también un alpinista entusiasta .

Publicaciones Seleccionadas

Ver también

Referencias

  1. ^ Datos de genealogía SIGACT
  2. ^ Mike Paterson en el Proyecto de genealogía de matemáticas
  3. ^ Paterson, Mike; Zwick, Uri (2009). "Sobresalir". Mensual Matemático Estadounidense . 116 (1): 19–44. doi :10.4169/193009709x469797.
  4. ^ Maurice Nivat, Sobre el nacimiento de la informática teórica , resumen de la charla celebrada en el 66 cumpleaños de Paterson. [1]

enlaces externos