Введение
Американский учёный-компьютерщик Стивен Рудич (родился 4 октября 1961 года) — профессор Карнеги-Меллонской школы компьютерных наук. В 1994 году он и Александр Разборов доказали, что обширный класс комбинаторных доказательств, получивших название «естественные доказательства», вряд ли позволит решить многие важные задачи в теории вычислительной сложности. За эту работу они были удостоены премии Гёделя в 2007 году. Он также является соавтором статьи, демонстрирующей, что все известные на данный момент NP-полные задачи остаются NP-полными даже при сведении к ним через AC0 или NC0. Среди студентов Карнеги-Меллона он наиболее известен как преподаватель курса «Великие теоретические идеи в информатике» (ранее называвшегося «Как мыслить как учёный-компьютерщик»), который часто считается одним из самых сложных курсов в учебной программе бакалавриата по информатике. Он является редактором журнала «Криптология», а также талантливый иллюзионист. Его число Эрдеша равно 2.
Steven Rudich (born October 4, 1961) is a professor in the Carnegie Mellon School of Computer Science. In 1994, he and Alexander Razborov proved that a large class of combinatorial arguments, dubbed natural proofs, was unlikely to answer many of the important problems in computational complexity theory. For this work, they were awarded the Gödel Prize in 2007. He also co authored a paper demonstrating that all currently known NP complete problems remain NP complete even under AC0 or NC0 reductions. Amongst Carnegie Mellon students, he is best known as the teacher of the class "Great Theoretical Ideas in Computer Science" (formerly named "How to Think Like a Computer Scientist"), often considered one of the most difficult classes in the undergraduate computer science curriculum. He is an editor of the Journal of Cryptology, as well as an accomplished magician. His Erdős number is 2.
Leap@CMU
Рудич (и Меррик Фурст, ныне заслуженный профессор Технологического института Джорджии) начали летнюю программу углубленного изучения Leap@CMU (ранее известную как Andrew's Leap) для учеников старших (и иногда средних) классов в 1991 году. Программа сосредоточена главным образом на теоретических аспектах информатики по утрам, после чего следует обеденный перерыв и затем факультатив – Робототехника, Программирование или Теория математики. Факультатив по программированию делится на вводный, средний и продвинутый уровни. С 2017 года факультатив по теории математики был исключен. В большинство дней также проходит послеобеденняя лекция преподавателя Университета Карнеги — Меллона, которая проводится между обедом и факультативами. Для поступления в Andrew's Leap необходимо пройти специализированный тест, известный как "Интересный тест". Этот тест призван оценить нестандартное мышление и способности к математике, связанной с компьютерами. Успеваемость в школе не учитывается при определении готовности к курсу. С лета 2018 года программа была закрыта.