Theoretical computer science

Type theory

Category theory

Computational geometry

Quantum computing theory

Mathematical logic

Automata theory

Number theory

Graph theory