–
Авторство учебных курсов
Преподавание учебных курсов
-
- 14 октября 2014 - 23 декабря 2014 Введение в технологии анализа больших данных
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра автоматизации систем вычислительных комплексов
- обязательная, по выбору (спецкурс), лекции, 18 часов
-
- 1 сентября 2014 - 20 декабря 2014 Формальная спецификация и верификация программ
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра автоматизации систем вычислительных комплексов
- обязательная, базовой части, семинары, 60 часов