Theory of Computing

Overview

The CU Theory of Computing research area encompasses the study of computation, computational models, computational complexity, algorithm design, algorithm verification, combinatorial optimization, computational biology, theoretical cryptography, and quantum computing.  These topics serve not only to stimulate investigation into practical and relevant problem-areas but also seek to understand the nature and limits of computation. CU-Boulder has an established and distinguished track record of  research in these areas.

Active Labs & Centers