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

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

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

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

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

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

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

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


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

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

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

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

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

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