Theory of Computing
Our research area encompasses the study of computation, computational models, computational complexity, algorithm design, algorithm verification, combinatorial optimization, computational biology andÌıtheoretical cryptography.
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. The group members regularly mentor research projects at all levels, typically undergraduate through postdocs, and occasionally even high school.
Ìı