• Automata Theory and Formal Languages
  • Computability Theory
  • Computational Complexity Theory