Кафедра существует с момента основания факультета ВМК МГУ в 1970 году. Заведующий кафедрой — академик РАН, профессор Иванников Виктор Петрович. Основные направления исследований кафедры:

  • статический и динамический анализ программ (исходных текстов и бинарных кодов)
  • развитие методов трансляции программ для современных архитектур ЭВМ
  • развитие методов верификации программ и технологий программирования на основе моделей
  • развитие методов построения СУБД и анализа больших объемов данных и данных на естественном языке

Спецсеминары кафедры    Спецкурсы кафедры    Просеминар для 2 курса

Skip available courses

Available courses

Для студентов 5 курса кафедр СП, АСВК, АЯ. Лекторы: проф., д.ф.-м.н. Петренко А. К., ст.преп. Корныхин Е.В.

полугодовой. Лектор: доц., доктор техн. наук Карпов Л. Е. (для 3-5 курсов)

Научные руководители: профессор, доктор физ.-мат. наук А.К. Петренко, доц. А.В. Хорошилов, доц. В.В. Кулямин.


Skip новости сайта

Новости сайта

Picture of Евгений Корныхин
Доклад на просеминаре
by Евгений Корныхин - Tuesday, 11 March 2014, 6:21 PM
 

13 марта состоится очередное заседание просеминара кафедры. Выступит Коршунов Антон Викторович с докладом на тему «Современные проблемы анализа данных пользователей социальных сетей».

 
Picture of Евгений Корныхин
Доклад на просеминаре
by Евгений Корныхин - Wednesday, 5 March 2014, 2:35 PM
 

06 марта состоится очередное заседание просеминара кафедры. Выступит доцент Хорошилов Алексей Владимирович с докладом на тему «Дедуктивная верификация модуля безопасности ядра ОС Linux».