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. ¶¶ÒõÂÃÐÐÉä 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.
Ìý