Gary Lee Miller es un informático estadounidense que es profesor de informática en la Universidad Carnegie Mellon . [1] En 2003 ganó el premio ACM Paris Kanellakis (junto 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]
Miller recibió su doctorado en 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 , el 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 en ciencias de la computación , incluyendo 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 condujo a resultados innovadores con los estudiantes Ioannis Koutis y Richard Peng en 2010 que actualmente proporcionan los algoritmos más rápidos, en 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 de Riemann y pruebas de primalidad . [5]