Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Стивен Рудич
Родившийся( 1961-10-04 )4 октября 1961 г. (59 лет)
НаградыПремия Гёделя
Академическая работа
ДисциплинаИнформатика
СубдисциплинаТеория вычислительной сложности
УчрежденияУниверситет Карнеги-Меллона
Известные идеиЕстественное доказательство
Интернет сайтhttps://www.cs.cmu.edu/~rudich/

Стивен Рудич (родился 4 октября 1961 г.) - профессор Школы компьютерных наук Карнеги-Меллона . В 1994 году он и Александр Разборов доказали, что большой класс комбинаторных аргументов, получивших название естественных доказательств, вряд ли решит многие важные проблемы теории сложности вычислений . За эту работу они были награждены премией Гёделя в 2007 году. [1] [2] Он также является соавтором статьи, демонстрирующей, что все известные в настоящее время NP-полные проблемы остаются NP-полными даже при AC 0 или NC 0 редукциях. [3]

Рудич выполняет фокус на дне рождения сына.

Среди студентов Карнеги-Меллона он наиболее известен как преподаватель класса «Великие теоретические идеи в информатике» (ранее называвшегося «Как мыслить как компьютерный ученый»), который часто считается одним из самых сложных предметов в бакалавриате по информатике. учебный план. [ необходима цитата ] Он редактор журнала «Криптология» , [ необходима цитата ], а также опытный фокусник . Его число Эрдеша - 2. [4]

Leap @ CMU [ править ]

Рудич (и Меррик Ферст , ныне заслуженный профессор Технологического института Джорджии ) в 1991 году начали летнюю программу повышения квалификации Leap @ CMU (ранее называвшуюся Andrew's Leap) для учащихся средней школы (а иногда и средней школы). в основном по теоретическим аспектам информатики утром, затем следует перерыв на обед, а затем факультатив - робототехника, программирование или теория математики. Факультативный курс по программированию подразделяется на вводное программирование, промежуточное программирование и расширенное программирование. С 2017 года факультатив по математической теории был удален. Чаще всего в полдень читает лекция преподавателя Университета Карнеги-Меллона. Это делается между обедом и факультативами.

Чтобы записаться на программу Andrew's Leap, необходимо пройти специальный тест, известный как The Interesting Test. Предполагается, что эта оценка позволит оценить способность мыслить нестандартно и способность к компьютерной математике. Успеваемость в школе не принимается во внимание при принятии решения о том, кто готов пройти курс.

С лета 2018 года эта программа была прекращена.

Ссылки [ править ]

  1. ^ "ACM-SIGACT Награды и призы: премия Гёделя 2007" .
  2. ^ «EATCS: Премия Гёделя - 2007» . Архивировано из оригинала на 2007-12-01.
  3. ^ Agrawal, М .; Allender, E .; Рудич, Стивен (1998). «Редукции в сложности схемы: теорема об изоморфизме и теорема о разрыве». Журнал компьютерных и системных наук . Бостон, Массачусетс: Academic Press . 57 (2): 127–143. DOI : 10.1006 / jcss.1998.1583 . ISSN 1090-2724 . 
  4. ^ Oakland.edu

Внешние ссылки [ править ]

  • Домашняя страница Andrew's Leap .
  • Блог Andrew's Leap .
  • Стивен Рудич на сервере библиографии DBLP .
  • Домашняя страница Карнеги-Меллона .