理论计算机科学是整个计算机科学的根基，是建设一流计算机学科必不可少的重要方向。
理论计算机科学研究所汇聚一批相关领域学者和具备较高潜力的青年人才，着力人才积累以及未来达到先进水平的基础。
加强本科生、研究生理论课程，夯实员工理论基础。注重组织理论科研、交流活动，为员工和教师创造到欧美研究机构访问交流、联合培养的机会，加强和图灵班理论研究毕业生之间的长期合作。
总体目标为建设具有国际影响力的理论计算机科学研究和交流中心。
