理論計算機科學是整個計算機科學的根基，是建設一流計算機學科必不可少的重要方向。
理論計算機科學研究所彙聚一批相關領域學者和具備較高潛力的青年人才，着力人才積累以及未來達到先進水平的基礎。
加強本科生、研究生理論課程，夯實學生理論基礎。注重組織理論科研、交流活動，為學生和教師創造到歐美研究機構訪問交流、聯合培養的機會，加強和圖靈班理論研究畢業生之間的長期合作。
總體目标為建設具有國際影響力的理論計算機科學研究和交流中心。
