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

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

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

Пропустить доступные курсы

Доступные курсы

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

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

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


Пропустить новости сайта

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

Изображение пользователя Евгений Корныхин
Доклад на просеминаре
от Евгений Корныхин - вторник, 11 марта 2014, 18:21
 

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

 
Изображение пользователя Евгений Корныхин
Доклад на просеминаре
от Евгений Корныхин - среда, 5 марта 2014, 14:35
 

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