Theoretical computer science

Theoretical computer science is the study of mathematics and computer science related to the theory of computation and formal methods. Topics in theoretical computer science are:
Automata theory
Category theory
Coding theory
Combinatorial optimization
Computability theory
Computational complexity theory
Computer algebra
Cryptography
Distributed computing
Formal languages
Formal verification
Graph theory
Information theory
Mathematical logic
Parallel computing
Programming language theory
Quantum computation
Type theory

References