article: Theoretical computer science
links: Formal language Quantum computer Computational complexity theory Mathematical logic Distributed computing Formal verification Combinatorial optimization Graph theory Parallel computing Cryptography Information theory Computability theory Automata theory