스티븐 루디치

Steven Rudich
스티븐 루디치
태어난 (1961-10-04) 1961년 10월 4일 (60세)
수상괴델상
학술사업
규율컴퓨터 사이언스
하위 수양계산 복잡성 이론
기관카네기 멜론
주목할 만한 아이디어자연증거
웹사이트https://www.cs.cmu.edu/~루디치/

스티븐 루디치(Steven Rudich, 1961년 10월 4일생)는 카네기 멜론 컴퓨터 과학 학교의 교수다.1994년, 그와 알렉산더 라즈보로프는 자연적인 증거라고 불리는 많은 종류의 결합론적 논거가 계산 복잡성 이론의 많은 중요한 문제들에 대한 해답을 줄 것 같지 않다는 것을 증명했다.이 작품으로 이들은 2007년 괴델상을 받았다.[1][2]그는 또한 현재 알려진 모든0 NP-완전성 문제가0 AC나 NC의 감소에도 NP-완전성을 유지하고 있음을 보여주는 논문을 공동 집필했다.[3]

카네기 멜론 학생들 사이에서 그는 종종 학부 컴퓨터 과학 교과 과정에서 가장 어려운 수업 중 하나로 여겨지는 "컴퓨터 과학의 위대한 이론적 아이디어"(이전의 이름 "컴퓨터 과학자처럼 생각하는 방법")의 교사로 가장 잘 알려져 있다.[citation needed]그는 크립토롤로지 저널의 편집자일 [citation needed]뿐만 아니라 뛰어난 마술사다.그의 Erdős 번호는 2이다.[4]

Leap@CMU

루디치(그리고 현재 조지아 공과대학의 저명한 교수인 메리크 퍼스트)는 1991년 고등학교(그리고 때때로 중학교) 학생들을 위한 Leap@CMU(이전에는 Andrew's Leap이라고 불렸다) 여름 농축 프로그램을 시작했다.여름 농축 프로그램은 주로 아침에 컴퓨터 과학의 이론적 측면에 초점을 맞추고, 점심 휴식에 이어 선택 과목인 로봇학, 프로그래밍 또는 수학 이론에 초점을 맞춘다.프로그래밍 선택 항목은 인트로 프로그래밍, 중간 프로그래밍, 고급 프로그래밍으로 구분된다.2017년 현재 수학 이론 선택 과목은 폐지되었다.대부분 카네기멜론대 교직원의 오후 강의도 있다.이것은 점심과 선택약 사이에 놓인다.

Andrew's Leap에 등록하기 위해서, 사람들은 The Interest Test라고 알려진 전문적인 시험을 치러야 한다.이 평가는 틀에서 벗어나 생각하는 능력과 컴퓨터 관련 수학에 대한 적성을 측정하기 위한 것이다.누가 이 과정을 수강할 준비가 되었는지 결정할 때 학교에서의 성적은 고려되지 않는다.

2018년 여름을 기점으로 이 프로그램은 중단되었다.

참조

  1. ^ "ACM-SIGACT Awards and Prizes: 2007 Gödel Prize".
  2. ^ "EATCS: Gödel Prize - 2007". Archived from the original on 2007-12-01.
  3. ^ Agrawal, M.; Allender, E.; Rudich, Steven (1998). "Reductions in Circuit Complexity: An Isomorphism Theorem and a Gap Theorem". Journal of Computer and System Sciences. Boston, MA: Academic Press. 57 (2): 127–143. doi:10.1006/jcss.1998.1583. ISSN 1090-2724.
  4. ^ Oakland.edu

외부 링크