Educational and methodical activity

  • Computational mathematics
  • Discrete mathematics
  • Formal programming methods