Topics

  • Theoretical Foundations of Databases
  • Logic in Computer Science
  • Complexity Theory
  • Formal Languages and Automata Theory