Окончил московскую среднюю школу №548 (1991), факультет вычислительной математики и кибернетики МГУ (1996), аспирантуру факультета ВМК (1999).

Кандидат физико-математических наук (2000), тема диссертации: «Система планирования решений задач на основе дедуктивных и ассоциативных методов» (научный руководитель Э. З. Любимский).

Отмечен стипендией факультета ВМК для молодых преподавателей и ученых (2004). Победитель конкурсной программы фонда В. Потанина для молодых преподавателей ВУЗов за 2007-08 учебный год.

Работает в Московском университете с 1999 г. в должностях младшего научного сотрудника (1999-2000), старшего преподавателя (2000-2007), доцента (с 2007) кафедры системного программирования.

Член совета молодых учёных факультета ВМК. Активно участвует в подготовке и проведении студенческих олимпиад по программированию.

Область научных интересов: искусственный интеллект, решатели задач, планирование, дедуктивные и ассоциативные методы планирования, объектно-ориентированные методы анализа и проектирования программного обеспечения.

Руководит работой спецсеминара «Планирование целенаправленной деятельности», читает курс лекций «Объектно-ориентированный анализ и проектирование» для студентов III потока 4-го курса и ведет занятия по кафедральному практикуму для студентов 4-го курса.

Автор 7 научных и учебно-методических публикаций, в том числе:

1. Ассоциативные методы планирования решений сложных задач – М.: препринт ИПМ РАН, №81, 1997 (соавт. Вакин В. В., Корухова Л. С., Любимский Э. З.);
   

2. Реализация стратегий планирования на основе управляющих стереотипов – М.: препринт ИПМ РАН, №13, 2000 (соавт. Корухова Л. С., Любимский Э. З.);
   

3. Объектно-ориентированный анализ и проектирование с использованием языка UML. Методическое пособие – М.: ф-т ВМК МГУ, 2002 (соавт. Вендров А. М.).

© Кафедра системного программирования ВМК МГУ.

Обновлено: 16.7.2009