Окончила с золотой медалью математическую школу №444 г. Москвы (1972), факультет вычислительной математики и кибернетики МГУ (1977, с отличием), аспирантуру факультета ВМК (1980).

Кандидат физико-математических наук (1982), тема диссертации: «Программирование в метасинтаксических обозначениях» (научный руководитель Е. А. Жоголев). Ученое звание – доцент (2003). Награждена Почетной грамотой Министерства науки и образования (2008).

Работала в Московском авиационном институте им. С. Орджоникидзе: в должностях младшего научного сотрудника, ассистента, старшего преподавателя кафедры вычислительной математики (1981-1987).

Работает на факультете ВМК МГУ с 1987 г.: научный сотрудник (1987-1988), ассистент (1988-1994), старший преподаватель (1994-1998), доцент (с 1998) кафедры системного программирования.

Область научных интересов: технология программирования, инструментальные системы, методы формальной спецификации программ. Ведет научно-исследовательскую работу в области разработки инструментальных средств для системы гиперпрограммирования. В течение ряда лет является ответственным исполнителем грантов РФФИ по тематике разработки технологии программирования на базе систем гиперпрограммирования.

Читает лекции по курсам «Алгоритмы и алгоритмические языки» и «Архитектура ЭВМ и язык ассемблера» для иностранных студентов, ведет занятия по практикуму для студентов первого и четвертого курсов, руководит специальными семинарами, курсовыми и дипломными работами студентов кафедры.

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

1. Типовой синтаксически управляемый редактор для систем гиперпрограммирования // Программирование, 1995, №3 (соавт. Жоголев Е. А. и др.);
   

2. Формальная спецификация программ на языке RSL (методическое пособие по практикуму) – М.: ф-т ВМК МГУ, 1999 (соавт. Петренко А. К.);
   

3. Формальная спецификация программ на языке RSL (конспект лекций) – М.: ф-т ВМК МГУ, 2001 (соавт. Петренко А. К.);.
   

4. Методические материалы для подготовки к государственному экзамену по прикладной математике и информатике – М.: ф-т ВМК МГУ, 2002 (соавт. Боресков А. В., Волкова И. А. и др.);
   

5. Практикум по формальной спецификации программ на языке RSL - М.: ф-т ВМиК МГУ, 2008 (соавт. Петренко А. К.).

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

Обновлено: 16.7.2009