Teaching

• Compiler Construction: Advanced Course [Russian] «Конструирование компиляторов: углубленный курс» ITMO University — DevTools MS Program Fall 2025 – present
• Algorithms and Data Structures [Russian] «Алгоритмы и структуры данных» Innopolis University — Mathematical Foundations of AI track Fall 2025 – present
• Programming Languages: Semantics and Type Systems [Russian] «Языки программирования: семантика и системы типов» ITMO University — DevTools MS Program Spring 2024 – present
• Advanced Compilers Construction and Program Analysis Innopolis University Spring 2022 – present
• Programming Paradigms Innopolis University Fall 2021 – present
• Data Structures and Algorithms Innopolis University Spring 2019 – present
• Programming in Haskell Innopolis University Fall 2018 – present

Workshops & Faculty Development

• Instructional Skills Workshop facilitator and trainer August 2021 – present

Teaching Assistance

• Analytical Geometry and Linear Algebra I Innopolis University Fall 2020
• Theoretical Computer Science Innopolis University Fall 2019
• Philosophy (Logic) Innopolis University Fall 2019
• Data Modelling and Databases I Innopolis University Fall 2018
• Programming in Haskell [Russian] «Программирование на языке Haskell» Lomonosov Moscow State University Spring 2013 – Spring 2018