The University of Rochester has seen success with its Upward Bound programs, which try to give low-income students and those whose parents haven't gone to college a head start in higher education.

Adam Chlipala, an associate professor of computer science at MIT, thinks there’s a better way to write computer programs. Most programs just list operations that the computer should perform when it ...