Teaching

Assistant teaching in 2018-2022

• Introduction to Programming, Python (L3, 2021-2022)
• TD7. Graphs and data structures

• Introduction au calcul scientifique (L2, 2019-2020)
• TD5. 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)
• DM. Completeness theorem in LK calculus: video

• 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]

• 2012-2015 [school olympiad corner]