A graduate student recently harnessed the complexity of mathematical proofs to create a powerful new tool in cryptography.

John’s ellipsoid theorem is a clean high-dimensional convex geometry fact that shows up in a lot of different places. Informally, it says: Every $n$-dimensional symmetric convex body is an ellipsoid, ...

Our mission is to make the world a better place through the advancement of scientific knowledge.

A new Gmail update may allow Google to use your private messages and attachments for AI training. Here's how to turn it off.

We construct a classical oracle proving that, in a relativized setting, the set of languages decidable by an efficient quantum verifier with a quantum witness (QMA) is strictly bigger than those decid...

YouTube video by Ryan O'Donnell

ITCS 2025 CFP

Frequently asked questions: 1. What is the effect on IPAM programs?We are committed to continuing our programs for the immediate future and at this time we are not cancelling activities or invitations...

In theory, quantum physics can bypass the hard mathematical problems at the root of modern encryption. A new proof shows how.

A group blog on constitutional law, theory, and politics

One computer scientist’s “stunning” proof is the first progress in 50 years on one of the most famous questions in computer science.

Save NSF is a coalition of concerned scientists and allies who are working to save funding for scientific grants through the U.S. National Science Foundation. Our mission is to support the science...

Last week, CRA shared the news that Greg Hager would be stepping down as NSF Assistant Director for the CISE Directorate. As a follow-up to that announcement, we are sharing the following letter from Greg to the computing research community. In this personal message, he reflects on his decision to leave, recent developments at NSF, […]

Dowling Fellowship Research Associate (Fixed Term) in the Department of Computer Science and Technology at the University of Cambridge.

American universities have given the country prosperity and security. The Trump administration’s attack on academic freedom endangers all of that.