• Formal aspects of system verification, analysis and synthesis;
  • Formal languages and automata theory;
  • Temporal logic;
  • Game theory;
  • Algorithms.