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 ...

April 30, May 1 & 2, 2025, join us for the 35th Edition of the Myhill Lecture Series: Link homology and other applications of defect networks, featuring Mikhail Khovanov (Johns Hopkins University).

Physicists and computer scientists have recently expanded the modern theory of the thermodynamics of computation. By combining approaches from statistical physics and computer science, the researchers ...

A leader in the field of computational theory is the latest winner of the A. M. Turing Award, sometimes described as the ‘Nobel Prize’ of computer science. Avi Wigderson at the Institute for Advanced ...