It’s wild to think that a math puzzle from the 1200s is now helping power AI, encryption, and the digital world we live in.

At last week's opening of the newly renovated John Crerar Library, which now houses the Department of Computer Science and the Center for Data and Applied Computing, President Robert Zimmer and ...

MIT Press recently published Fundamental Proof Methods in Computer Science, a book by Konstantine Arkoudas and David Musser, a professor emeritus of computer science at the Rensselaer Polytechnic ...

Seemingly simple games can serve as thought-provoking exercises in mathematical logic. They can provide deep insights into subtle issues that confront logicians who are interested in the foundations ...