• Algorithms
  • Combinatorial optimisation
  • Combinatorics on words
  • Symmetric cryptography
  • Database theory
  • Distributed computing
  • Formal languages and automata theory
  • Formal methods