"Computational complexity, cryptography, the logic of programs, and other areas familiar to those who study the mathematical foundations of computer science will be central to activity at the Simons Institute." . . . .