Gary Miller (científico informático)

Gary Miller
Gary Miller (izquierda) con Volker Strassen
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

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]

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 ,algoritmos paralelos , geometría computacional y computación científica . Su enfoque más reciente en la computación científica llevó 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

1. "Gary Miller | Universidad Carnegie Mellon - Departamento de informática" . www.csd.cs.cmu.edu .
2. "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 .
3. "ACM otorga el premio Knuth al creador de algoritmos y teoría 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 .
4. "Gary Miller | Instituto Simons para la teoría de la computación" . simons.berkeley.edu .
5. "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 "