Гэри Ли Миллер — американский учёный-компьютерщик , профессор компьютерных наук в Университете Карнеги — Меллона . [1] В 2003 году он выиграл премию ACM Paris Kanellakis Award (вместе с тремя другими) за тест простоты Миллера — Рабина . В 2002 году он стал членом ACM Fellow [2] и в 2013 году получил премию Кнута . [3]
Миллер получил докторскую степень в Калифорнийском университете в Беркли в 1975 году под руководством Мануэля Блюма . После периодов работы на факультете в Университете Ватерлоо , Университете Рочестера , Массачусетском технологическом институте и Университете Южной Калифорнии , Миллер перешел в Университет Карнеги-Меллона , где сейчас является профессором компьютерных наук . В дополнение к своей влиятельной диссертации по вычислительной теории чисел и тестированию на простоту, Миллер работал над многими центральными темами в области компьютерных наук , включая изоморфизм графов , параллельные алгоритмы , вычислительную геометрию и научные вычисления . Его последнее внимание к научным вычислениям привело к прорывным результатам со студентами Иоаннисом Кутисом и Ричардом Пэном в 2010 году, которые в настоящее время предоставляют самые быстрые алгоритмы — в теории и на практике — для решения «симметричных диагонально доминирующих» линейных систем, которые имеют важные приложения в обработке изображений, сетевых алгоритмах, инженерном и физическом моделировании. [4] Его докторская степень Диссертация называлась «Гипотеза Римана и тесты на простоту» . [5]