Стивен Рудич
Стивен Рудич | |
|---|---|
| Рожденный | 4 октября 1961 г. |
| Награды | Премия Гёделя |
| Академическая работа | |
| Дисциплина | Информатика |
| Субдисциплина | Теория сложности вычислений |
| Учреждения | Карнеги-Меллон |
| Известные идеи | Естественное доказательство |
| Веб-сайт | https://www.cs.cmu.edu/~rudich/ |
Стивен Рудич (родился 4 октября 1961 года) — профессор Школы компьютерных наук Карнеги-Меллона . В 1994 году он и Александр Разборов доказали, что большой класс комбинаторных аргументов, получивших название « естественные доказательства» , вряд ли сможет ответить на многие важные проблемы теории сложности вычислений . За эту работу они были удостоены премии Гёделя в 2007 году. [1] [2] Он также является соавтором статьи, демонстрирующей, что все известные в настоящее время NP-полные задачи остаются NP-полными даже при AC. 0 или НК 0 сокращения. [3]
Среди студентов Карнеги-Меллон он наиболее известен как преподаватель курса «Великие теоретические идеи в информатике» (ранее называвшегося «Как думать как ученый-компьютерщик»), который часто считается одним из самых сложных предметов в бакалавриате по информатике. учебный план. [ нужна ссылка ] Он является редактором журнала криптологии . [ нужна ссылка ] а также опытный волшебник . Его номер Эрдеша — 2. [4]
Прыжок@CMU
[ редактировать ]Рудич (и Меррик Ферст , ныне заслуженный профессор Технологического института Джорджии ) начали летнюю программу повышения квалификации Leap@CMU (ранее называвшуюся «Прыжок Эндрю») для учащихся старших классов (а иногда и средних школ) в 1991 году. Летняя программа повышения квалификации фокусируется на в основном по теоретическим аспектам информатики утром, затем перерыв на обед, а затем факультатив - робототехника, программирование или теория математики. Факультатив по программированию подразделяется на вводное программирование, среднее программирование и продвинутое программирование. С 2017 года факультатив по теории математики был удален. В большинстве дней во второй половине дня проводится лекция преподавателя Университета Карнеги-Меллон. Это делается между обедом и факультативами.
Чтобы зарегистрироваться в «Прыжке Эндрю», необходимо пройти специальный тест, известный как «Интересный тест». Предполагается, что эта оценка позволит оценить способность нестандартно мыслить и способности к компьютерной математике. Успеваемость в школе не учитывается при принятии решения о том, кто готов пройти курс.
Летом 2018 года эта программа была прекращена.
Ссылки
[ редактировать ]- ^ «Награды и премии ACM-SIGACT: Премия Гёделя 2007 г.» .
- ^ «EATCS: Премия Гёделя — 2007» . Архивировано из оригинала 1 декабря 2007 г.
- ^ Агравал, М .; Аллендер, Э.; Рудич, Стивен (1998). «Снижение сложности схемы: теорема об изоморфизме и теорема о пробеле» . Журнал компьютерных и системных наук . 57 (2). Бостон, Массачусетс: Academic Press : 127–143. дои : 10.1006/jcss.1998.1583 . ISSN 1090-2724 .
- ^ Окленд.edu
Внешние ссылки
[ редактировать ]- Домашняя страница Эндрю Прыжка .
- Блог Андрея Leap .
- Стивен Рудич на DBLP библиографическом сервере .
- Домашняя страница Карнеги-Меллона .
