Welcome to the website of the CS theory group at CU Boulder! Our faculty and students research all aspects of theoretical computer science, from core areas such as algorithms, complexity, and ...

Computer scientists established a new boundary on computationally verifiable knowledge. In doing so, they solved major open problems in quantum mechanics and pure mathematics. In 1935, Albert Einstein ...

Three decades ago, a British documentary series named Connections aired, which showed viewers how various scientific achievements and discoveries were really interrelated, no matter how disparate they ...

One designs clocks to be as regular as physically possible. So much so that they are the very instruments of determinism. The coin flip plays a similar role; it expresses our ideal of the utterly ...

Assembly theory bridges the gap between physics and biology in explaining how complex objects are identifiable as products of evolution and how reusability of parts allows novelty and identical ...