Старший преподаватель Кафедры алгоритмических языков Факультета вычислительной математики и кибернетики МГУ имени М.В. Ломоносова.
Работает в МГУ с 1997 года.
Кандидат физико-математических наук с 1998 года.
Тема диссертации — «Магазинные автоматы и характеризация регулярных языков» (научный руководитель — Л.И. Станевичене).

В 1994 году окончил факультет вычислительной математики и кибернетики МГУ имени М.В. Ломоносова. В 1994-1997 гг. обучался в аспирантуре факультета ВМК. 

Работает в МГУ с 1997 г.: младший научный сотрудник (1997-1999), научный сотрудник (1999-2000), ассистент (2000-2007), старший преподаватель (с 2007).

 

Читает/читал курсы: «Системы программирования», «Языки программирования», «Алгоритмы и алгоритмические языки». Руководит (вместе с профессором С.А. Абрамовым и научным сотрудником А.А. Панферовым) спецсеминаром «Компьютерная алгебра и теория формальных языков», ведет семинарские занятия по программированию для студентов младших курсов.

 

Научные интересы: теория формальных языков, теория синтаксического анализа, языки программирования.

 

Автор и соавтор 6 статей, 11 книг, 7 докладов на конференциях, 6 тезисов докладов, 2 НИР, 1 диссертации, 25 дипломных работ, 4 курсовых работ, 18 учебных курсов.
Прошел 1 стажировку.