Barry S. Honig  The bulk materials industry is undergoing a significant technological transformation. Organizations across ...
Research team debuts the first deterministic streaming algorithms for non-monotone submodular maximization, delivering superior approximation ratios with minimal memory and real-time throughput on ...
Researchers have developed a new algorithmic model that can improve predictions of cooling demand for greener buildings. This ...
If you’re gonna be a hacker eventually you’re gonna have to write code. And if you write code eventually you’re gonna have to deal with concurrency. Concurrency is what we call ...
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 ...