Steven Rudich (nacido el 4 de octubre de 1961) es profesor en la Escuela de Ciencias de la Computación de Carnegie Mellon . En 1994, él y Alexander Razborov demostraron que una gran clase de argumentos combinatorios, denominados pruebas naturales , era poco probable que respondieran a muchos de los problemas importantes de la teoría de la complejidad computacional . Por este trabajo, fueron galardonados con el Premio Gödel en 2007. [1] [2] También fue coautor de un artículo que demuestra que todos los problemas NP-completos conocidos actualmente siguen siendo NP-completos incluso bajo reducciones AC 0 o NC 0. [3]
Entre los estudiantes de Carnegie Mellon , es más conocido como el profesor de la clase "Grandes ideas teóricas en informática" (antes llamada "Cómo pensar como un científico informático"), a menudo considerada una de las clases más difíciles en el plan de estudios de informática de pregrado. [ cita requerida ] Es editor del Journal of Cryptology , [ cita requerida ] así como un mago consumado . Su número de Erdős es 2. [ 4 ]
Rudich (y Merrick Furst, ahora profesor distinguido en el Instituto de Tecnología de Georgia ) comenzaron el programa de enriquecimiento de verano Leap@CMU (antes llamado Andrew's Leap) para estudiantes de secundaria (y ocasionalmente, de escuela media) en 1991. El programa de enriquecimiento de verano se centra principalmente en los aspectos teóricos de la informática por la mañana, seguido de un recreo para el almuerzo y luego una asignatura optativa: robótica, programación o teoría de las matemáticas. La asignatura optativa de programación se divide en programación introductoria, programación intermedia y programación avanzada. A partir de 2017, se eliminó la asignatura optativa de teoría de las matemáticas. La mayoría de los días, también hay una conferencia por la tarde a cargo de un miembro del cuerpo docente de la Universidad Carnegie Mellon. Esto se coloca entre el almuerzo y las asignaturas optativas.
Para inscribirse en Andrew's Leap, uno debe realizar una prueba especializada conocida como The Interesting Test. Esta evaluación se supone que mide la capacidad de pensar de manera creativa y la aptitud para las matemáticas relacionadas con la informática. El desempeño escolar no se tiene en cuenta a la hora de decidir quién está listo para realizar el curso.
A partir del verano de 2018, este programa se suspendió.