スティーブン・ルディッチ

スティーブン・ルディッチ（1961年10月4日 - 2024年10月29日^[1]）はカーネギーメロン大学コンピュータサイエンス学部の教授であった。1994年、彼とアレクサンダー・ラズボロフは、自然証明と呼ばれる大規模な組み合わせ論的議論では、計算複雑性理論における多くの重要な問題の答えが得られそうにないことを証明した。この業績により、 2007年にゲーデル賞を受賞した。^{[2] [3]彼はまた、現在知られている}NP完全問題はすべてAC ⁰またはNC ⁰還元下でもNP完全のままであること を示す論文の共著者でもある。^[4]

カーネギーメロン大学の学生の間では、彼は「コンピュータサイエンスの偉大な理論的アイデア」（旧称「コンピュータ科学者のように考える方法」）という授業の教師として最もよく知られている。この授業は、学部のコンピュータサイエンスのカリキュラムで最も難しい授業の1つとよく考えられている。^[要出典]彼は長年、Journal of Cryptologyの編集者を務め、^{[要出典]熟練した}マジシャンでもあった。彼のエルデシュ数は2である。 ^[5]

ルディッチ氏（およびジョージア工科大学の現在特別教授であるメリック・ファースト氏）は、1991 年に高校生（および時折中学生）を対象とした Leap@CMU（旧称 Andrew's Leap）夏期強化プログラムを開始しました。夏期強化プログラムは、午前中に主にコンピュータ サイエンスの理論的側面に焦点を当て、その後昼休み、選択科目（ロボット工学、プログラミング、または数学理論）が続きます。プログラミング選択科目は、入門プログラミング、中級プログラミング、および上級プログラミングに分かれています。2017 年現在、数学理論選択科目は削除されています。ほとんどの日には、カーネギーメロン大学の教員による午後の講義もあります。これは、昼食と選択科目の間に配置されます。

アンドリューズ・リープに入学するには、「インタレストテスト」と呼ばれる特別なテストを受けなければなりません。この評価は、既成概念にとらわれない思考力と、コンピュータ関連の数学に対する適性を測定するためのものです。コースを受講する準備ができているかどうかを決定する際に、学校での成績は考慮されません。

2018 年夏をもって、このプログラムは中止されました。

• Andrew's Leap ホームページ。
• アンドリューのLeapブログ。
• DBLP書誌サーバーの Steven Rudich。
• カーネギーメロン大学のホームページ。