Theoretical Computer Science, Graph Theory, Automata Theory, Formal Logic and Games, Formal Languages and Semantics, Abstract Algebra