Стивен Рудич (1961-2024) был профессором Школы компьютерных наук Карнеги-Меллона . В 1994 году он и Александр Разборов доказали, что большой класс комбинаторных аргументов, названных естественными доказательствами , вряд ли сможет ответить на многие важные проблемы теории вычислительной сложности . За эту работу они были удостоены премии Гёделя в 2007 году . [1] [2] Он также был соавтором статьи, демонстрирующей, что все известные в настоящее время NP-полные задачи остаются NP-полными даже при сокращениях до AC 0 или NC 0. [3]
Среди студентов Карнеги-Меллона он наиболее известен как преподаватель курса «Великие теоретические идеи в информатике» (ранее называвшегося «Как думать как компьютерный учёный»), который часто считается одним из самых сложных курсов в программе бакалавриата по информатике. [ требуется ссылка ] Он является редактором журнала «Journal of Cryptology» , [ требуется ссылка ] а также опытным фокусником . Его число Эрдёша равно 2. [4]
Рудич (и Меррик Ферст, ныне заслуженный профессор Технологического института Джорджии ) начали летнюю образовательную программу Leap@CMU (ранее называвшуюся Andrew's Leap) для учащихся старших классов (и иногда средних классов) в 1991 году. Летняя образовательная программа в основном фокусируется на теоретических аспектах компьютерных наук по утрам, за которыми следует перерыв на обед, а затем факультатив — робототехника, программирование или теория математики. Факультатив по программированию разбит на вводное программирование, промежуточное программирование и продвинутое программирование. С 2017 года факультатив по теории математики был удален. В большинстве дней также есть дневная лекция преподавателя Университета Карнеги — Меллона. Она проводится между обедом и факультативами.
Чтобы записаться на Andrew's Leap, необходимо пройти специализированный тест, известный как The Interesting Test. Предполагается, что эта оценка позволит оценить способность мыслить нестандартно и склонность к компьютерной математике. Успеваемость в школе не принимается во внимание при принятии решения о готовности пройти курс.
Летом 2018 года эта программа была прекращена.