Steven Rudich

He was 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, was unlikely to answer many of the important problems in computational complexity theory.

[5] Rudich (and Merrick Furst, now a Distinguished Professor at the Georgia Institute of Technology) began the Leap@CMU (formerly called Andrew's Leap) summer enrichment program for high school (and occasionally, middle school) students in 1991.

Most days, there is also an afternoon lecture by a Carnegie Mellon University faculty member.

This assessment is supposed to gauge ability to think outside the box, and aptitude for computer-related math.