Today, there’s a thriving interaction between TCS and physics (mostly centered around quantum computing, but also around, for example, phase transitions in random constraint satisfaction problems).

In this episode of Brains, Black Holes, and Beyond, Senna Aldoubosh and Lina Kim sit down with Dr. Pedro Paredes, a professor and researcher in the computer science department, to learn more about his ...

On July 20, Northwestern Computer Science hosted a workshop on generative AI in computing education for practitioners, scholars, and instructors.

Theoretical computer scientist Manuel Blum has guided generations of graduate students into fruitful careers in the field. Every academic field has its superstars. But a rare few achieve superstardom ...

The promise of big data lies in researchers' ability to mine massive datasets for insights that can save lives, improve services and inform our understanding of the world.These data may be generated ...

Ming-Yang Kao, professor emeritus of computer science at Northwestern Engineering, passed away on May 11, 2026. He will be remembered for his contributions to the field of theoretical computer science ...

Avi Wigderson is the first recipient of both a Turing Award and an Abel Prize, math's top honor. Andrea Kane / Institute for Advanced Study The 2023 Turing Award—the computing world’s Nobel Prize ...

The company also released research papers, Lean-certified proofs, and the model’s reasoning walkthroughs for each result.

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

Editor’s note: This is part of a series of stories featuring master’s degree programs at the University of Chicago. Bradley Stoller knew the University of Chicago was an ideal fit to pursue a master’s ...

The promise of big data lies in researchers' ability to mine massive datasets for insights that can save lives, improve services and inform our understanding of the world. These data may be generated ...