Gary Miller (científico informático)
Gary Miller | ||
---|---|---|
![]() | ||
Información personal | ||
Nacimiento | c. años 1950 | |
Residencia | Pittsburgh | |
Nacionalidad | Estadounidense | |
Educación | ||
Educado en | Universidad de California en Berkeley | |
Supervisor doctoral | Manuel Blum | |
Información profesional | ||
Ocupación | Informático teórico | |
Área | Ciencias de la computación | |
Empleador | ||
Estudiantes doctorales | Susan Landau | |
Miembro de | Association for Computing Machinery (desde 2002) | |
Distinciones |
| |
Gary Lee Miller es un informático estadounidense, profesor de ciencias de la computación en la Universidad Carnegie Mellon, Pittsburgh, Estados Unidos.[1] En 2003 ganó el premio Paris Kanellakis de la ACM (compartido con otras tres personas) por el desarroloo del test de primalidad de Miller-Rabin. Fue nombrado miembro de la ACM en 2002[2] y ganó el premio Knuth en 2013.[3]
Semblanza
[editar]Miller recibió su doctorado por la Universidad de California en Berkeley en 1975 bajo la dirección de Manuel Blum. Después de períodos en distintas facultades (la Universidad de Waterloo, la Universidad de Rochester, el Instituto de Tecnología de Massachusetts y la Universidad del Sur de California), Miller se mudó a la Universidad Carnegie Mellon, donde ha desarrollado la mayor parte de su carrera como profesor de ciencias de la computación. Además de su influyente tesis sobre teoría de números computacional y las pruebas de primalidad, Miller ha trabajado en muchos temas centrales en ciencias de la computación, incluidos los isomorfismos 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 brindan los algoritmos más rápidos, en la teoría y en la 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 tesis doctoral se tituló Hipótesis y pruebas de primalidad de Riemann.[5]
Referencias
[editar]- ↑ «Gary Miller | Carnegie Mellon University - Computer Science Department». www.csd.cs.cmu.edu.
- ↑ «Citation for Gary Miller's ACM Fellow Award». Archivado desde el original el 21 de junio de 2009. Consultado el 11 de septiembre de 2008.
- ↑ «ACM Awards Knuth Prize to Creator of Problem-Solving Theory and Algorithms». Association for Computing Machinery. Archivado desde el original el 3 de noviembre de 2013. Consultado el 31 de octubre de 2013.
- ↑ «Gary Miller | Simons Institute for the Theory of Computing». simons.berkeley.edu. 2 de julio de 2013.
- ↑ «Miller's thesis».
Enlaces externos
[editar]- Página web de Gary Miller en Carnegie Mellon.
- Gary Miller en Mathematics Genealogy Project.
- Artículo original de Miller "Hipótesis y pruebas de primalidad de Riemann"