Teaching

Assistant teaching in 2018-2020 (in French)

• Introduction au calcul scientifique (L2, 2019-2020)
  • Tutorial on differential equations and Euler’s method
• Introduction aux algorithmes (M1, 2018-2019)
  • Tutorial on Turing machines and reductions
• Sécurité (M1, 2019-2020)
  • TD2. Basic number theory and RSA encryption
  • TD3. Attacks on RSA
  • TD4. Pads and Hashes
• Programmation fonctionelle (L2, 2019-2020)
  • TD1. Les bases du calcul lambda [video]
  • TD2. Operations arithmetiques dans le calcul lambda[video]
  • TD3. Typage simple: video
• Algorithmique (Cours Preparatoire II, 2019-2020)
  • TP. Fast Fourier Transform [Code en C]
• Logique (L1, 2019-2020)
• Programmation (L1, 2019-2020)
• Structures de données avancées (L2, 2019-2020)
• Structures de données avancées (M1, 2019-2020)
• Specifications algébriques et verification de logiciels (L2, 2019-2020)
• Compilation (M1, 2019-2020)

Teaching before 2018 (in Russian)

• 2016-2017 [enumerative-combinatorics]

• 2015-2016 [convex-optimization] [discrete analysis]

• 2014-2015 [discrete analysis] [algebra]

• 2011-2014 [music-theory] [other]

• 2012-2015 [school olympiad corner]