Theory of Computation offers a rigorous mathematical framework that underpins our understanding of what can be computed and how efficiently these computations may be performed. It encompasses ...

You may think of physics as a way to explain the behaviors of things like black holes, colliding particles, falling apples, and quantum computers. But a small group physicists today is working on a ...

The Association for Computing Machinery (ACM) on Wednesday announced that it has awarded this year's A.M. Turing prize, often referred to as the Nobel Prize of computing, to computer scientist and ...

I arrived at M.I.T. in the fall of 2004. I had just turned twenty-two, and was there to pursue a doctorate as part of something called the Theory of Computation group—a band of computer scientists who ...

Lenore Blum’s long career has spanned the breadth of mathematics and computer science. She’s done influential work in logic and cryptography, and she formulated an entirely new model of computation.