Steven Rudich

Steven Rudich

Steven Rudich (born Oct 4 1961) is a professor in the Carnegie Mellon School of Computer Science. In 1994, He and Alexander Razborov proved that a large class of combinatorial arguments, dubbed natural proofs were unlikely to answer many of the important problems in computational complexity theory. For this work, they were awarded the Gödel prize in 2007.

Amongst Carnegie Mellon students, he is best known as the teacher of the class 'Great Theoretical Ideas in Computer Science' (formerly named 'How to Think Like a Computer Scientist'), often considered one of the most difficult classes in the undergraduate computer science curriculum.Fact|date=October 2007 He is an editor of the Journal of Cryptology, as well as an accomplished magician.

Andrews' Leap

Professor Rudich began the Andrews' Leap summer enrichment program for high school (and occasionally, middle school) students in 1991. The summer enrichment program focuses mainly on theoretical aspects of Computer Science in the morning, followed by lunch recess, and then an elective -- Robotics, Programming, or Math Theory. Most days, there is also an afternoon lecture by a Carnegie Mellon University faculty member.

In order to be enrolled in Andrews' Leap, one must take a specialized test known as The Interesting Test. This assessment gauges one's ability to think outside the box, and one's aptitude for Computer-related math.

External links

* [http://www.cs.cmu.edu/~leap/ Andrews' Leap Homepage] .
* [http://andrewsleap.blogspot.com/ Andrews' Leap Blog] .
* [http://dblp.uni-trier.de/db/indices/a-tree/r/Rudich:Steven.html DBLP: Steven Rudich] .
* [http://www.cs.cmu.edu/~rudich/ Home page at Carnegie Mellon] .


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Steven Rudich — (* 4. Oktober 1961) ist ein US amerikanischer Informatiker, der sich mit Komplexitätstheorie, Kryptographie und Kombinatorik beschäftigt. Rudich promovierte 1989 an der University of California, Berkeley bei Manuel Blum (Limits on the Provable… …   Deutsch Wikipedia

  • Steven Rudich — (n. 4 de octubre, 1961) es un profesor estadounidense de la Escuela de Ciencias de la Computación de la Universidad Carnegie Mellon. En 1994 junto con Alexander Razborov demostró que una gran clase de argumentos combinatoriales, denominados… …   Wikipedia Español

  • Steven Ricks — Steve(n) L. Ricks (* 1969) ist ein US amerikanischer Komponist und Musikpädagoge. Ricks studierte nach einer Ausbildung als Posaunist an der Brigham Young University, der University of Illinois at Urbana Champaign und der University of Utah. Mit… …   Deutsch Wikipedia

  • Alexander Razborov — Naissance 16 février 1963 Domicile États Unis Nationalité …   Wikipédia en Français

  • Prix Gödel — Nommé en l honneur du logicien Kurt Gödel, le prix Gödel a été créé en 1992 par l European Association for Theoretical Computer Science (EATCS), l Association for Computing Machinery (ACM) et le groupe de l ACM sur l algorithmique et la théorie… …   Wikipédia en Français

  • Премия Гёделя — (англ. Gödel Prize)  премия в области теории вычислительных систем имени Курта Гёделя, вручаемая ежегодно организациями ACM SIGACT (Special Interest Group on Algorithms and Computation Theory) и EATCS (European Association for… …   Википедия

  • Natural proof — In computational complexity theory, a natural proof is a certain kind of proof establishing that one complexity class differs from another one. While these proofs are in some sense natural , it can be shown (assuming a widely believed conjecture… …   Wikipedia

  • Liste de personnes par nombre d'Erdős — Voici une liste non exhaustive de personnes ayant un nombre d Erdős de 0, 1 ou 2. Sommaire 1 #0 2 #1 3 #2 4 Référence …   Wikipédia en Français

  • Manuel Blum — Born April 26, 1938 (1938 04 26) (age 73) Caracas, Venezuela Residence Pittsburgh …   Wikipedia

  • Géraud Sénizergues — est professeur d informatique à l Université de Bordeaux et membre du Laboratoire bordelais de recherche en informatique. Récipiendaire du Prix Gödel en 2002 pour avoir démontré la décidabilité de l égalité des langages reconnus par des automates …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”