Gary Lee Miller es profesor de Ciencias de la Computación en la Universidad Carnegie Mellon , Pittsburgh , Estados Unidos. [1] En 2003 ganó el premio ACM Paris Kanellakis (con otros tres) por la prueba de primalidad Miller-Rabin . Fue nombrado miembro de la ACM en 2002 [2] y ganó el Premio Knuth en 2013. [3]
Gary Miller | |
---|---|
Conocido por | Prueba de primalidad de Miller-Rabin |
Premios | Premio Paris Kanellakis (2003) Premio Knuth (2013) |
Carrera científica | |
Instituciones | Universidad de Carnegie mellon |
Tesis | Hipótesis y pruebas de primalidad de Riemann (1975) |
Asesor de doctorado | Manuel Blum |
Estudiantes de doctorado | Susan Landau F. Thomson Leighton Shang-Hua Teng Jonathan Shewchuk |
Vida temprana y carrera
Miller recibió su Ph.D. de la Universidad de California, Berkeley en 1975 bajo la dirección de Manuel Blum . Después de períodos en la facultad de la Universidad de Waterloo , la Universidad de Rochester , MIT y la Universidad del Sur de California , Miller se trasladó a la Universidad Carnegie Mellon , donde ahora es profesor de Ciencias de la Computación . Además de su influyente tesis sobre la teoría de números computacionales y las pruebas de primalidad, Miller ha trabajado en muchos temas centrales de la informática , incluido el isomorfismo de grafos , los algoritmos paralelos , la geometría computacional y la computación científica . Su enfoque más reciente en la computación científica condujo a resultados revolucionarios con los estudiantes Ioannis Koutis y Richard Peng en 2010 que actualmente proporcionan los algoritmos más rápidos, en teoría y práctica, para resolver sistemas lineales "simétricos diagonalmente dominantes", que tienen aplicaciones importantes en el procesamiento de imágenes. algoritmos de red, ingeniería y simulaciones físicas. [4] Su Ph.D. La tesis se tituló Hipótesis y pruebas de primordialidad de Riemann . [5]
Referencias
- ^ "Gary Miller | Universidad Carnegie Mellon - Departamento de informática" . www.csd.cs.cmu.edu .
- ^ "Cita para el premio ACM Fellow de Gary Miller" . Archivado desde el original el 21 de junio de 2009 . Consultado el 11 de septiembre de 2008 .
- ^ "ACM otorga el premio Knuth al creador de teoría y algoritmos de resolución de problemas" (comunicado de prensa). Asociación de Maquinaria Informática . Archivado desde el original el 3 de noviembre de 2013 . Consultado el 31 de octubre de 2013 .
- ^ "Gary Miller | Instituto Simons para la teoría de la computación" . simons.berkeley.edu .
- ^ "Tesis de Miller" (PDF) .
Enlaces externos
- Página web de Gary Miller en Carnegie Mellon.
- Gary Miller en el Proyecto de genealogía matemática .
- El artículo original de Miller " Hipótesis y pruebas de primalidad de Riemann "