理論計算機科学
正確な研究範囲を述べるのは容易ではないが、ACM の Special Interest Group on Algorithms and Computation Theory(英語版) (SIGACT) は同グループの目的を理論計算機科学の振興であるとしており、その対象範囲を次のように定義している。
ACMの学術誌 Transactions on Computation Theory ではこの一覧にさらに符号理論と計算論的学習理論(英語版)を加え、データベース、情報検索、経済モデル、ネットワークなどの理論計算機科学的側面をも含めている。このように範囲は広いが、計算機科学の理論畑の人間は応用畑とは違うという意識を持っていることがあり、「コンピューティングを支えている(より基本的な)科学」を研究しているという意識をもっていることがある。これは必ずしも対立を意味するものではなく、むしろ協力関係にあることを意味する。