Миллер, Гари

Защитил докторскую диссертацию в Калифорнийском университете в Беркли в 1975 году под руководством Мануэля Блюма с диссертацией «Гипотеза Римана и проверка простоты чисел» («Riemann’s Hypothesis and Tests for Primality»). До перехода в Университет Карнеги — Меллона он занимал академические должности в Университете Уотерлу, Рочестерском университете, Массачусетском технологическом институте (MIT) и Университете Южной Калифорнии (USC)

Одним из главных результатов научной деятельности учёного является создание теста Миллера — Рабина. Помимо теории чисел, работал в области вычислительной геометрии и прикладных вычислений, а также вероятностных и параллельных алгоритмов. Вклад Гари Миллера в теорию графов является фундаментальным. Среди его ключевых достижений — теорема о сепараторах планарных графов, разработка алгоритмов для поиска геометрических сепараторов, создание параллельных алгоритмов, а также быстрых решателей для систем линейных уравнений на основе лапласианов графов (SDD-систем)^[2]. Миллер также ведёт исследования в области спектральной теории графов, по которой в период с 2020 по 2023 год выпустил ряд публикаций^[3]. Весной 2020 года он преподавал курс «Спектральная теория графов и парадигма Лапласиана» в Университете Карнеги — Меллона^[4].

• В 2003 году совместно с тремя другими учёными получил премию Канеллакиса^[5] за создание теста Миллера — Рабина — самого быстрого алгоритма для одностороннего вероятностного тестирования простоты чисел.
• Также стал действительным членом ACM в 2002 году^[5] и лауреатом Премии Кнута в 2013 году^[6].