理论计算机科学（Theoretical Computer Science，缩写TCS）主要研究有关计算机的相对更抽象化、逻辑化和数学化的问题，如计算理论，算法分析，以及程序设计语言的语义等。理论计算机科学属于计算机科学的一个分支，尽管它本身并非一个单独的研究主题，但从事这个领域的研究人员在计算机科学的研究者里往往自成一派。理论计算机科学有着数学和抽象的本质，但动机来自实践中和日常的计算问题。它旨在理解计算的本质，并根据这种理解提供更有效率的方法。

常见学位	BS、MS、PhD
是否签证敏感	否
高中课程准备	理科
专业领域	理科
美国第一大学	UC berkeley

定义与范畴

精确地限制定义理论计算机科学的范围并非易事；根据计算机协会(ACM)算法与计算理论兴趣组（SIGACT）的表述：
“理论计算机科学的领域广泛包含算法、数据结构、计算复杂性、分布式计算、并行计算、VLSI、机器学习、计算生物学、计算几何、信息论、密码学、量子计算、计算数论、符号计算、程序语义和形式化方法，自动机理论，以及随机方面的研究。此领域的研究常需要强调严格的数学。”
计算机协会（ACM）《计算理论学报》（Transactions on Computation Theory）又为以上的列表添加了：编码理论，计算学习理论，以及数据库、信息获取、经济学模型和计算机网络中与理论计算机科学相关的内容。

计算机科学家：

州名	就业人数	薪水/h	薪水/年
加州	6,460	$54.35	$113,050
马里兰州	3,430	$50.15	$104,310
维吉尼亚州	1,800	$56.04	$116,560
德克萨斯州	1,630	$39.24	$81,610
纽约	990	$41.12	$85,540

2015USNews美国大学研究生计算机理论专业排名

排名	院校
#1	University of California-Berkeley Berkeley, CA
#2	Massachusetts Institute of Technology Cambridge, MA
#3	Stanford University Stanford, CA
#4	Princeton University Princeton, NJ
#5	Carnegie Mellon University Pittsburgh, PA
#6	Cornell University Ithaca, NY
#7	Harvard University Cambridge, MA
#8	Georgia Institute of Technology Atlanta, GA
#9	University of Washington Seattle, WA
#10	University of Texas-Austin Austin, TX
#11	University of Illinois-Urbana-Champaign Urbana, IL
#12	Columbia University New York, NY
#13	University of Chicago Chicago, IL
#14	University of California-San Diego La Jolla, CA
#15	California Institute of Technology Pasadena, CA
#15	Yale University New Haven, CT
#17	University of California-Los Angeles Los Angeles, CA