Computer Science: The Massachusetts Institute of Technology (MIT) routinely holds the top spot in the world for quality in Computer Science (CS) research and instruction, despite intense competition.

Systems like OpenAI’s GPT-5 are accelerating research in math, biology and chemistry. But there is a debate over whether it ...

Studies aiming to maximize human creativity demonstrate that people work best when buoyed up by others who show them new ways ...

GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous ...

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