Окончил московскую среднюю школу ?548 (1991), факультет вычислительной математики и кибернетики МГУ (1996), аспирантуру факультета ВМК (1999).
Кандидат физико-математических наук (2000), тема диссертации: «Система планирования решений задач на основе дедуктивных и ассоциативных методов» (научный руководитель Э. З. Любимский).
Отмечен стипендией факультета ВМК для молодых преподавателей и ученых (2004). Победитель конкурсной программы фонда В. Потанина для молодых преподавателей ВУЗов за 2007-08 учебный год.
Работает в Московском университете с 1999 г. в должностях младшего научного сотрудника (1999-2000), старшего преподавателя (2000-2007), доцента (с 2007) кафедры системного программирования.
Входит в программный комитет конференции «Объектные системы».
Область научных интересов: искусственный интеллект, решатели задач, планирование, дедуктивные и ассоциативные методы планирования, объектно-ориентированные методы анализа и проектирования программного обеспечения.
Руководит работой спецсеминара «Планирование целенаправленной деятельности», читает курс лекций 'Объектно-ориентированный анализ и проектирование' для студентов III потока 4-го курса и ведет занятия по кафедральному практикуму для студентов 4-го курса.
Автор 7 научных и учебно-методических публикаций, в том числе:
Ассоциативные методы планирования решений сложных задач М.: препринт ИПМ РАН, ?81, 1997 (соавт. Вакин В. В., Корухова Л. С., Любимский Э. З.);
Реализация стратегий планирования на основе управляющих стереотипов М.: препринт ИПМ РАН, ?13, 2000 (соавт. Корухова Л. С., Любимский Э. З.);
Объектно-ориентированный анализ и проектирование с использованием языка UML. Методическое пособие М.: ф-т ВМК МГУ, 2002 (соавт. Вендров А. М.).
Моделирование системы регистрации на курсы. Выполнение учебного проекта в среде Topcased. - Учебное пособие. - М.: Кафедра СП ВМК МГУ - 2011;
Моделирование системы обработки заказов. Выполнение учебного проекта в среде Topcased. - Учебное пособие. - М.: Кафедра СП ВМК МГУ - 2011.
|