• Training structure

    Faculty of Science

Program

  • English S1

    2 credits
  • Probability, statistics

    2 credits
  • Operational research

    4 credits
  • Foundations of symbolic AI

    4 credits
  • Graphs: structures and algorithms

    4 credits
  • Algebra, geometry, transformation, numerical calculation

    2 credits
  • Cryptographic foundations for security

    4 credits
  • Logic, computability and complexity

    4 credits
  • Efficient algorithm programming

    4 credits
  • Advanced algorithms

    4 credits
  • T.E.R

    4 credits
  • English S2

    2 credits
  • Calculability

    4 credits
  • Logic for software engineering and AI

    4 credits
  • Software security

    4 credits
  • Formal calculation

    4 credits
  • Operational research - complements

    4 credits