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 (junto con otros tres) por la prueba de primalidad Miller-Rabin . Fue nombrado miembro de ACM en 2002 [2] y ganó el Premio Knuth en 2013. [3]
Miller recibió su doctorado. de la Universidad de California, Berkeley en 1975 bajo la dirección de Manuel Blum . Tras 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 teoría computacional de números y pruebas de primalidad, Miller ha trabajado en muchos temas centrales en ciencias de la computación , incluido el isomorfismo de grafos , algoritmos paralelos , geometría computacional y computación científica . Su enfoque más reciente en la informática científica le llevó a obtener 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 en la práctica) para resolver sistemas lineales "simétricos diagonalmente dominantes", que tienen importantes aplicaciones en el procesamiento de imágenes. Algoritmos de redes, ingeniería y simulaciones físicas. [4] Su doctorado. La tesis se tituló Hipótesis y pruebas de primalidad de Riemann . [5]