Type Theory, Lambda Calculus, Automata Theory, Group Theory, Graph Theory, Computational Complexity, Algorithms, Cryptography