• Constraint Satisfaction Problems
  • Planning
  • Bayesian inference and HMM
  • Decision making
  • Graphs & AI (approximation algorithms, large graphs analysis and AI discovery in extremal graph theory)