Python starts 2026 with a bang The world’s most popular programming language kicks off the new year with a wicked-fast type checker, a C code generator, and a second chance for the tail-calling ...

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