Steven Rudich

Steven Rudich
Geboren 4. Oktober 1961 (Alter 60)
Auszeichnungen Gödel -Preis
Akademische Arbeit
Disziplin Informatik
Unterdisziplin Computerkomplexitätstheorie
Institutionen Carnegie Mellon
Bemerkenswerte Ideen Natürlicher Beweis
Webseite https://www.cs.cmu.edu/~rudich/

Steven Rudich (Geboren am 4. Oktober 1961) ist Professor in der Carnegie Mellon School of Computer Science. 1994 und er und er und er Alexander Razborov bewies, dass eine große Klasse kombinatorischer Argumente, die genannt werden Natürliche BeweiseEs war unwahrscheinlich Computerkomplexitätstheorie. Für diese Arbeit wurden sie mit dem ausgezeichnet Gödel -Preis in 2007.[1][2] Er war auch gemeinsam ein Papier, das demonstrierte, dass alle derzeit bekannt sind NP-Complete Probleme bleiben NP-Complete auch unter AC0 oder NC0 Reduzierungen.[3]

Unter Carnegie Mellon Schüler, er ist am besten als Lehrer der Klasse "Große theoretische Ideen in der Informatik" (früher "How to Thinking Like to Inform Scientist") bekannt, oft als eine der schwierigsten Klassen im Lehrplan für die Informatik im Grundstudium angesehen. Er ist Redakteur der Journal of Cryptologysowie eine vollendete Zauberer. Seine ERDős Nummer ist 2.[4]

Sprung@CMU

Rudich (und Merrick Furst, heute ein angesehener Professor am Georgia Institute of Technology) begann 1991 das Sommeranreicherungsprogramm für die High School (und gelegentlich in der Mittelschule). und dann ein Wahlkurs - Robotik, Programmierung oder Mathematik. Das Programmierauswahl wird in die Intro -Programmierung, die Zwischenprogrammierung und die fortschrittliche Programmierung unterteilt. Ab 2017 wurde das Elektro -Theorie der Mathematheorie entfernt. An den meisten Tagen gibt es auch einen Nachmittagsvortrag eines Fakultätsmitglieds der Carnegie Mellon University. Dies ist zwischen Mittagessen und Wahlfächern platziert.

Um sich für Andrews Sprung anzumelden, muss man einen speziellen Test als interessante Test durchführen. Diese Einschätzung soll die Fähigkeit beurteilen, über den Tellerrand hinaus zu denken, und die Eignung für computerbezogene Mathematik. Die Leistung in der Schule wird bei der Entscheidung, wer bereit ist, den Kurs zu belegen, nicht berücksichtigt.

Ab dem Sommer 2018 wurde dieses Programm eingestellt.

Verweise

  1. ^ "ACM-Sigact Awards und Preise: 2007 Gödel Prize".
  2. ^ "Eatcs: Gödel Prize - 2007". Archiviert von das Original Am 2007-12-01.
  3. ^ Agrawal, M.; Allender, e.; Rudich, Steven (1998). "Verringerung der Schaltungskomplexität: Ein Isomorphismus -Theorem und ein Gap -Theorem". Journal of Computer and System Sciences. Boston, MA: Akademische Presse. 57 (2): 127–143. doi:10.1006/jcs.1998.1583. ISSN 1090-2724.
  4. ^ Oakland.edu

Externe Links