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

Labs & Centers